Program - POPL 2021

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

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 - 15:15 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 - 16:45 Talk		Numbers, Logic, and Decidability Results for Cyber-Physical Systems PLMW Rupak MajumdarMPI-SWS
	16:45 - 17:30 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 - 18:45 Talk		Reasoning About Programs in Higher-Order Concurrent Separation Logic PLMW Amin TimanyAarhus University
	18:45 - 19:30 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 - 21:00 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 - 15:30 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 - 16:45 Talk		Connecting Information Flow Types to Runtime Monitors via Gradual Typing PLMW Limin JiaCarnegie Mellon University
	16:45 - 17:30 Talk		Emotional Machines PLMW Aaron TuronFastly

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


Room	14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
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


Room	14:00						30						15:00						30						16:00						30						17:00						30
PLMW							PLMW Tuesday Panel																		PLMW Session 3

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


Room	14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
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


Room	14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
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

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

PLMW

14:20

Think Abstractly, Work Concretely

Ichiro Hasuo

14:40

15:00

15:20

15:40

16:00

Numbers, Logic, and Decidability Results for Cyber-Physical Systems

Rupak Majumdar

16:20

16:40

The Lean Researcher

Alastair Donaldson

17:00

17:20

17:40

18:00

Reasoning About Programs in Higher-Order Concurrent Separation Logic

Amin Timany

18:20

18:40

εσόμεθα πολλώ κάρρονες – making your way in a changing world

Sophia Drossopoulou

19:00

19:20

19:40

20:00

Panel: Doing Research in PL

Greg Morrisett, Susan Eisenbach, Sam Lindley, Jeehoon Kang, Delphine Demange, Kuen-Bang Hou (Favonia)

20:20

20:40

21:00

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

PLMW

14:20

Panel: Navigating PhD studies

Hila Peleg, Nick Giannarakis, Anne-Kathrin Schmuck, Sacha-Élie Ayoun, Farzaneh Derakhshan, Soham Chakraborty

14:40

15:00

15:20

15:40

16:00

Connecting Information Flow Types to Runtime Monitors via Gradual Typing

Limin Jia

16:20

16:40

Emotional Machines

Aaron Turon

17:00

17:20

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

PLMW 2021 Program

Filter Program

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

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

PLMW

PLMW

PLMW

PLMW

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

PLMW

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

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums

PLMW 2021 Program

Filter Program

Program Display Configuration

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

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

PLMW

PLMW

PLMW

PLMW

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

PLMW

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

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

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

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

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

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