Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 18 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:00
Morning 1PLMW at Independence
Chair(s): Robbert Krebbers Radboud University Nijmegen
09:00
20m
Day opening
Welcome by POPL 2022 Program ChairRemote
PLMW
09:25
35m
Talk
Automatically Synthesising Programs that We Can TrustRemote
PLMW
Ilya Sergey National University of Singapore
10:20 - 11:10
Morning 2PLMW at Independence
Chair(s): Paul Downen University of Massachusetts Lowell
10:20
50m
Talk
You and Your EnvironmentIn-person
PLMW
Talia Ringer University of Illinois at Urbana-Champaign
11:10 - 12:00
Morning 3 (live only, no recording)PLMW at Independence
Chair(s): Stephanie Balzer Carnegie Mellon University
11:10
50m
Panel
Panel (live only, no recording)Hybrid
PLMW
Fran├žois Pottier Inria, Azadeh Farzan University of Toronto, Henry DeYoung CMU, Wen Kokke University of Edinburgh, Stephanie Weirich University of Pennsylvania, Ralf Jung MPI-SWS
13:30 - 14:45
Afternoon 1PLMW at Independence
Chair(s): Stephanie Balzer Carnegie Mellon University
13:30
35m
Talk
Implementing Languages for Fun and ProfitRemote
PLMW
14:10
35m
Talk
Writing Valuable PapersRemote
PLMW
Liam O'Connor University of Edinburgh
15:05 - 16:20
Afternoon 2PLMW at Independence
Chair(s): Paul Downen University of Massachusetts Lowell
15:05
35m
Talk
Proving and ProgrammingRemote
PLMW
Zena M. Ariola University of Oregon
15:45
35m
Talk
Finding a research topic (or being found by a research topic?)Remote
PLMW
Alexandra Silva Cornell University