Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / JW Marriott New Orleans /

Room information: Frontenac

VenueJW Marriott New Orleans
Room nameFrontenac
Floor3
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 20 Jan

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
Opening & Keynote Talk 1PEPM at Frontenac
Chair(s): Casper Bach Poulsen Delft University of Technology, Zhenjiang Hu Peking University
09:00
5m
Day opening
Opening
PEPM
Casper Bach Poulsen Delft University of Technology, Zhenjiang Hu Peking University
09:05
55m
Talk
Network Verification: Past, Present, and Future
PEPM
Nate Foster Cornell University
10:30 - 12:30
Sessions 1 & 2PEPM at Frontenac
Chair(s): Ohad Kammar University of Edinburgh, Walid Taha
10:30
35m
Talk
Dependently-Typed Multi-Stage Programming Revisited (invited talk)
PEPM
Atsushi Igarashi Kyoto University, Japan
11:05
25m
Research paper
High-Fidelity Metaprogramming with Separator Syntax Trees
PEPM
Rodin Aarssen CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands
DOI
11:30
15m
Break
Mini Break 1
PEPM

11:45
25m
Research paper
Module Generation without Regret
PEPM
Yuhi Sato University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba, Japan, Takahisa Watanabe University of Tsukuba, Japan
DOI
12:10
20m
Short-paper
GOOL: A Generic Object-Oriented Language
PEPM
Jacques Carette McMaster University, Brooks MacLachlan McMaster University, Spencer Smith McMaster University, Computing and Software Department
DOI Pre-print File Attached
14:00 - 15:05
Keynote Talk 2PEPM at Frontenac
Chair(s): Casper Bach Poulsen Delft University of Technology
14:00
60m
Talk
Reasoning about Progress of Concurrent Objects
PEPM
Xinyu Feng Nanjing University
15:35 - 17:45
Sessions 3 & 4PEPM at Frontenac
Chair(s): Atsushi Igarashi Kyoto University, Japan, Jeremy Yallop University of Cambridge, UK
15:35
35m
Talk
Frex: Free extensions for normalisation by evaluation (invited talk)
PEPM
Ohad Kammar University of Edinburgh
Media Attached
16:10
25m
Research paper
Symbolic Bisimulation for Open and Parameterized System
PEPM
Zechen Hou East China Normal University, Eric Madelaine INRIA
DOI File Attached
16:35
15m
Break
Mini Break 2
PEPM

16:50
35m
Talk
Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk)
PEPM
Walid Taha
17:25
20m
Short-paper
An approach to generating text-based IDEs with syntax completion from syntax specification
PEPM
Isao Sasano Shibaura Institute of Technology
DOI

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

10:30 - 12:30
Ally Skills SessionAlly Skills Session at Frontenac
10:30
2h
Other
Ally Skills SessionMentoring Event
Ally Skills Session

15:35 - 17:45
POPLmark 15 Year Retrospective PanelPOPLmark 15 Year Retrospective Panel at Frontenac
15:35
2h
Other
POPLmark 15 Year Retrospective Panel
POPLmark 15 Year Retrospective Panel

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

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

PEPM

Opening & Keynote Talk 1

PEPM

Sessions 1 & 2

PEPM

Keynote Talk 2

PEPM

Sessions 3 & 4

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Frontenac

Ally Skills Session

Ally Skills Session

POPLmark 15 Year Retrospective Panel

POPLmark 15 Year Retrospective Panel

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Frontenac
PEPM
Opening
09:00 - 09:05
PEPM
Network Verification: Past, Present, and Future
09:05 - 10:00
PEPM
Dependently-Typed Multi-Stage Programming Revisited (invited talk)
10:30 - 11:05
PEPM
High-Fidelity Metaprogramming with Separator Syntax Trees
11:05 - 11:30
PEPM
Mini Break 1
11:30 - 11:45
PEPM
Module Generation without Regret
11:45 - 12:10
PEPM
GOOL: A Generic Object-Oriented Language
12:10 - 12:30
PEPM
Reasoning about Progress of Concurrent Objects
14:00 - 15:00
PEPM
Frex: Free extensions for normalisation by evaluation (invited talk)
15:35 - 16:10
PEPM
Symbolic Bisimulation for Open and Parameterized System
16:10 - 16:35
PEPM
Mini Break 2
16:35 - 16:50
PEPM
Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited ...
16:50 - 17:25
PEPM
An approach to generating text-based IDEs with syntax completion from s ...
17:25 - 17:45

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Frontenac
POPL Ally Skills SessionMentoring Event
Ally Skills Session
10:30 - 12:30
POPL mark 15 Year Retrospective Panel
POPLmark 15 Year Retrospective Panel
15:35 - 17:35