Write a Blog >>
PADL 2020
Mon 20 - Tue 21 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameFrontenac
Floor3
Additional informationThere is no additional information of this room available.
Program

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

Mon 20 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

pepm-2020-papers
09:00 - 10:00: PEPM 2020 - Opening & Keynote Talk 1 at Frontenac
Chair(s): Casper Bach PoulsenDelft University of Technology, Zhenjiang HuPeking University
pepm-2020-papers09:00 - 09:05
Day opening
Casper Bach PoulsenDelft University of Technology, Zhenjiang HuPeking University
pepm-2020-papers09:05 - 10:00
Talk
Nate FosterCornell University
pepm-2020-papers
10:30 - 12:30: PEPM 2020 - Sessions 1 & 2 at Frontenac
Chair(s): Ohad KammarUniversity of Edinburgh, Walid Taha
pepm-2020-papers10:30 - 11:05
Talk
Atsushi IgarashiKyoto University, Japan
pepm-2020-papers11:05 - 11:30
Research paper
Rodin AarssenCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands
DOI
pepm-2020-papers11:30 - 11:45
Break
pepm-2020-papers11:45 - 12:10
Research paper
Yuhi SatoUniversity of Tsukuba, Yukiyoshi KameyamaUniversity of Tsukuba, Japan, Takahisa WatanabeUniversity of Tsukuba, Japan
DOI
pepm-2020-papers12:10 - 12:30
Short-paper
Jacques CaretteMcMaster University, Brooks MacLachlanMcMaster University, Spencer SmithMcMaster University, Computing and Software Department
DOI Pre-print File Attached
pepm-2020-papers
14:00 - 15:05: PEPM 2020 - Keynote Talk 2 at Frontenac
Chair(s): Casper Bach PoulsenDelft University of Technology
pepm-2020-papers14:00 - 15:00
Talk
Xinyu FengNanjing University
pepm-2020-papers
15:35 - 17:45: PEPM 2020 - Sessions 3 & 4 at Frontenac
Chair(s): Jeremy YallopUniversity of Cambridge, UK, Atsushi IgarashiKyoto University, Japan
pepm-2020-papers15:35 - 16:10
Talk
Ohad KammarUniversity of Edinburgh
Media Attached
pepm-2020-papers16:10 - 16:35
Research paper
Zechen HouEast China Normal University, Eric MadelaineINRIA
DOI File Attached
pepm-2020-papers16:35 - 16:50
Break
pepm-2020-papers16:50 - 17:25
Talk
pepm-2020-papers17:25 - 17:45
Short-paper
Isao SasanoShibaura Institute of Technology
DOI

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

POPL-2020-Ally-Skills-Session
10:30 - 12:30: Ally Skills Session - Ally Skills Session at Frontenac
POPL-2020-Ally-Skills-Session10:30 - 12:30
Other
POPL-2020-poplmark-15-year-retrospective-panel
15:35 - 17:45: POPLmark 15 Year Retrospective Panel - POPLmark 15 Year Retrospective Panel at Frontenac
POPL-2020-poplmark-15-year-retrospective-panel15:35 - 17:35
Other

Mon 20 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Frontenac

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Frontenac