Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
POPL 2021 (series) / Online (How to POPL in 2021) /

Room information: PLMW

VenueOnline (How to POPL in 2021)
Room namePLMW
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:15
Session 0PLMW at PLMW
Chair(s): Justin Hsu University of Wisconsin-Madison, USA
14:30
45m
Talk
Think Abstractly, Work Concretely
PLMW
Ichiro Hasuo National Institute of Informatics, Japan
Media Attached
16:00 - 17:30
Session 1PLMW at PLMW
Chair(s): Azalea Raad Imperial College London
16:00
45m
Talk
Numbers, Logic, and Decidability Results for Cyber-Physical Systems
PLMW
Rupak Majumdar MPI-SWS
16:45
45m
Talk
The Lean Researcher
PLMW
Alastair F. Donaldson Imperial College London and Google
18:00 - 19:30
Session 2PLMW at PLMW
Chair(s): Gabriel Scherer INRIA Saclay
18:00
45m
Talk
Reasoning About Programs in Higher-Order Concurrent Separation Logic
PLMW
Amin Timany Aarhus University
18:45
45m
Talk
εσόμεθα πολλώ κάρρονες – making your way in a changing world
PLMW
Sophia Drossopoulou Imperial College London
20:00 - 21:00
Monday PanelPLMW at PLMW
Chair(s): Justin Hsu University of Wisconsin-Madison, USA
20:00
60m
Live Q&A
Panel: Doing Research in PL
PLMW
Greg Morrisett Cornell Tech, Susan Eisenbach Imperial College London, Sam Lindley Heriot-Watt University, UK / The University of Edinburgh, UK, Jeehoon Kang KAIST, Delphine Demange Univ Rennes, Inria, CNRS, IRISA, Kuen-Bang Hou (Favonia) University of Minnesota, Twin Cities

Tue 19 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:30
Tuesday PanelPLMW at PLMW
Chair(s): Stephanie Balzer Carnegie Mellon University, USA
14:30
60m
Live Q&A
Panel: Navigating PhD studies
PLMW
Hila Peleg University of California at San Diego, Nick Giannarakis University of Wisconsin-Madison, Anne-Kathrin Schmuck MPI-SWS, Sacha-Élie Ayoun Imperial College London, Farzaneh Derakhshan Carnegie Mellon University, Soham Chakraborty IIT Delhi
16:00 - 17:30
Session 3PLMW at PLMW
Chair(s): Azalea Raad Imperial College London
16:00
45m
Talk
Connecting Information Flow Types to Runtime Monitors via Gradual Typing
PLMW
Limin Jia Carnegie Mellon University
16:45
45m
Talk
Emotional Machines
PLMW
Aaron Turon Fastly

Mon 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:003017:003018:003019:003020:0030
PLMW

PLMW

Session 0

PLMW

Session 1

PLMW

Session 2

PLMW

Monday Panel

Tue 19 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:003017:0030
PLMW

PLMW

Tuesday Panel

PLMW

Session 3

Mon 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
PLMW
PLMW
Think Abstractly, Work Concretely
14:30 - 15:15
PLMW
Numbers, Logic, and Decidability Results for Cyber-Physical Systems
16:00 - 16:45
PLMW
The Lean Researcher
16:45 - 17:30
PLMW
Reasoning About Programs in Higher-Order Concurrent Separation Logic
18:00 - 18:45
PLMW
εσόμεθα πολλώ κάρρονες – making your way in a changing world
18:45 - 19:30
PLMW
Panel: Doing Research in PL
20:00 - 21:00

Tue 19 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:0015304515:0015304516:0015304517:00153045
PLMW
PLMW
Panel: Navigating PhD studies
14:30 - 15:30
PLMW
Connecting Information Flow Types to Runtime Monitors via Gradual Typing
16:00 - 16:45
PLMW
Emotional Machines
16:45 - 17:30