Write a Blog >>
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: Saskatchewan, Central America change

09:00 - 10:00: Opening & Keynote Talk 1PEPM at Frontenac
Chair(s): Casper Bach PoulsenDelft University of Technology, Zhenjiang HuPeking University
09:00 - 09:05
Day opening
Opening
PEPM
Casper Bach PoulsenDelft University of Technology, Zhenjiang HuPeking University
09:05 - 10:00
Talk
Network Verification: Past, Present, and Future
PEPM
Nate FosterCornell University
10:30 - 12:30: Sessions 1 & 2PEPM at Frontenac
Chair(s): Ohad KammarUniversity of Edinburgh, Walid Taha
10:30 - 11:05
Talk
Dependently-Typed Multi-Stage Programming Revisited (invited talk)
PEPM
Atsushi IgarashiKyoto University, Japan
11:05 - 11:30
Research paper
High-Fidelity Metaprogramming with Separator Syntax Trees
PEPM
Rodin AarssenCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands
DOI
11:30 - 11:45
Break
Mini Break 1
PEPM
11:45 - 12:10
Research paper
Module Generation without Regret
PEPM
Yuhi SatoUniversity of Tsukuba, Yukiyoshi KameyamaUniversity of Tsukuba, Japan, Takahisa WatanabeUniversity of Tsukuba, Japan
DOI
12:10 - 12:30
Short-paper
GOOL: A Generic Object-Oriented Language
PEPM
Jacques CaretteMcMaster University, Brooks MacLachlanMcMaster University, Spencer SmithMcMaster University, Computing and Software Department
DOI Pre-print File Attached
14:00 - 15:05: Keynote Talk 2PEPM at Frontenac
Chair(s): Casper Bach PoulsenDelft University of Technology
14:00 - 15:00
Talk
Reasoning about Progress of Concurrent Objects
PEPM
Xinyu FengNanjing University
15:35 - 17:45: Sessions 3 & 4PEPM at Frontenac
Chair(s): Jeremy YallopUniversity of Cambridge, UK, Atsushi IgarashiKyoto University, Japan
15:35 - 16:10
Talk
Frex: Free extensions for normalisation by evaluation (invited talk)
PEPM
Ohad KammarUniversity of Edinburgh
Media Attached
16:10 - 16:35
Research paper
Symbolic Bisimulation for Open and Parameterized System
PEPM
Zechen HouEast China Normal University, Eric MadelaineINRIA
DOI File Attached
16:35 - 16:50
Break
Mini Break 2
PEPM
16:50 - 17:25
Talk
Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk)
PEPM
17:25 - 17:45
Short-paper
An approach to generating text-based IDEs with syntax completion from syntax specification
PEPM
Isao SasanoShibaura Institute of Technology
DOI

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

10:30 - 12:30: Ally Skills SessionAlly Skills Session at Frontenac
10:30 - 12:30
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 - 17:35
Other
POPLmark 15 Year Retrospective Panel
POPLmark 15 Year Retrospective Panel

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

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

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

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