Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021
Online
Toggle navigation
Attending
Venue: Online (How to POPL in 2021)
Supporting POPL
Student Volunteers
Code of Conduct
Registration
FAQ
Program
Complete Program
Your Program
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Wed 20 Jan
Thu 21 Jan
Fri 22 Jan
Tracks
POPL 2021
POPL
Artifact Evaluation
Workshops and Co-located Events
TutorialFest
Student Research Competition
Student Volunteers
POPL Meetups
Co-hosted Conferences
CPP
CPP
CPP
Lightning Talks
PLMW
VMCAI
Workshops
CoqPL
LAFI
PEPM
PriSC
Co-hosted Symposiums
PADL
Organization
POPL 2021
Organizing Committee
POPL
Program Committee
Artifact Evaluation
Artifact Evaluation Committee
TutorialFest
Tutorials Evaluation Committee
Student Research Competition
Selection Committee
Student Volunteers
Student Volunteers Committee
Contributors
People Index
Co-hosted Conferences
CPP
Organization Committee
Program Committee
Steering Committee
PLMW
Invited Speakers
Panelists
Organizing Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Invited speaker
Organizing Committee
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
PEPM
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
Co-hosted Symposiums
PADL
Programme Chairs
Programme Committee
Search
Series
Series
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2021
(
series
) /
Online (How to POPL in 2021)
/
Room information: PLMW
Venue
Online (How to POPL in 2021)
Room name
PLMW
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Greenwich Mean Time : Belfast
(GMT) Greenwich Mean Time : Dublin
(GMT) Greenwich Mean Time : Lisbon
(GMT) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 0
PLMW
at
PLMW
Chair(s):
Justin Hsu
University of Wisconsin-Madison, USA
14:30 - 15:15
Talk
Think Abstractly, Work Concretely
PLMW
Ichiro Hasuo
National Institute of Informatics, Japan
Media Attached
16:00 - 17:30: Session 1
PLMW
at
PLMW
Chair(s):
Azalea Raad
Imperial College London
16:00 - 16:45
Talk
Numbers, Logic, and Decidability Results for Cyber-Physical Systems
PLMW
Rupak Majumdar
MPI-SWS
16:45 - 17:30
Talk
The Lean Researcher
PLMW
Alastair Donaldson
Imperial College London and Google
18:00 - 19:30: Session 2
PLMW
at
PLMW
Chair(s):
Gabriel Scherer
INRIA Saclay
18:00 - 18:45
Talk
Reasoning About Programs in Higher-Order Concurrent Separation Logic
PLMW
Amin Timany
Aarhus University
18:45 - 19:30
Talk
εσόμεθα πολλώ κάρρονες – making your way in a changing world
PLMW
Sophia Drossopoulou
Imperial College London
20:00 - 21:00: Monday Panel
PLMW
at
PLMW
Chair(s):
Justin Hsu
University of Wisconsin-Madison, USA
20:00 - 21:00
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
Times are displayed in time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
14:30 - 15:30: Tuesday Panel
PLMW
at
PLMW
Chair(s):
Stephanie Balzer
Carnegie Mellon University, USA
14:30 - 15:30
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 3
PLMW
at
PLMW
Chair(s):
Azalea Raad
Imperial College London
16:00 - 16:45
Talk
Connecting Information Flow Types to Runtime Monitors via Gradual Typing
PLMW
Limin Jia
Carnegie Mellon University
16:45 - 17:30
Talk
Emotional Machines
PLMW
Aaron Turon
Fastly
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
x
Sat 23 Jan 22:05