Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:15
Session 0PLMW at PLMW
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
14:30
45m
Talk
Think Abstractly, Work Concretely
PLMW
Ichiro HasuoNational Institute of Informatics, Japan
Media Attached
16:00 - 17:30
Session 1PLMW at PLMW
Chair(s): Azalea RaadImperial College London
16:00
45m
Talk
Numbers, Logic, and Decidability Results for Cyber-Physical Systems
PLMW
16:45
45m
Talk
The Lean Researcher
PLMW
Alastair DonaldsonImperial College London and Google
20:00 - 21:00
Monday PanelPLMW at PLMW
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
20:00
60m
Live Q&A
Panel: Doing Research in PL
PLMW
Greg MorrisettCornell Tech, Susan EisenbachImperial College London, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, Jeehoon KangKAIST, Delphine DemangeUniv Rennes, Inria, CNRS, IRISA, Kuen-Bang Hou (Favonia)University of Minnesota, Twin Cities

Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:30
Tuesday PanelPLMW at PLMW
Chair(s): Stephanie BalzerCarnegie Mellon University, USA
14:30
60m
Live Q&A
Panel: Navigating PhD studies
PLMW
Hila PelegUniversity of California at San Diego, Nick GiannarakisUniversity of Wisconsin-Madison, Anne-Kathrin SchmuckMPI-SWS, Sacha-Élie AyounImperial College London, Farzaneh DerakhshanCarnegie Mellon University, Soham ChakrabortyIIT Delhi
16:00 - 17:30
Session 3PLMW at PLMW
Chair(s): Azalea RaadImperial College London
16:00
45m
Talk
Connecting Information Flow Types to Runtime Monitors via Gradual Typing
PLMW
Limin JiaCarnegie Mellon University
16:45
45m
Talk
Emotional Machines
PLMW

Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:003017:0030
PLMW

Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change