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
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
Rupak MajumdarMPI-SWS
16:45
45m
Talk
The Lean Researcher
PLMW
Alastair DonaldsonImperial College London and Google
18:00 - 19:30
Session 2PLMW at PLMW
Chair(s): Gabriel SchererINRIA Saclay
18:00
45m
Talk
Reasoning About Programs in Higher-Order Concurrent Separation Logic
PLMW
Amin TimanyAarhus University
18:45
45m
Talk
εσόμεθα πολλώ κάρρονες – making your way in a changing world
PLMW
Sophia DrossopoulouImperial College London
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
Aaron TuronFastly

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

PLMW

Session 0

PLMW

Session 1

PLMW

Session 2

PLMW

Monday Panel

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

Room14:003015:003016:003017:0030
PLMW

PLMW

Tuesday Panel

PLMW

Session 3

Mon 18 Jan
Times are displayed in 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
Times are displayed in 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