Program - POPL 2022

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 Hongseok Yang KAIST
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 Nicholas Matsakis AWS
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

PLMW 2022 Program

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

PLMW 2022 Program

Switch Program View

Program Display Configuration

Tue 18 JanDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

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