POPL 2020 (series) / PEPM 2020 (series) /
PEPM 2020 Program
This is the PEPM 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Mon 20 Jan 2020
Rooms
Frontenac
Tracks
PEPM
Badges
Nothing to filter
Your Program
Nothing to filter
Mon 20 JanDisplayed time zone: Saskatchewan, Central America change
Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | Opening & Keynote Talk 1PEPM at Frontenac Chair(s): Casper Bach Delft University of Technology, Zhenjiang Hu Peking University | ||
09:00 5mDay opening | Opening PEPM | ||
09:05 55mTalk | Network Verification: Past, Present, and Future PEPM Nate Foster Cornell University | ||
10:30 - 12:30 | |||
10:30 35mTalk | Dependently-Typed Multi-Stage Programming Revisited (invited talk) PEPM Atsushi Igarashi Kyoto University, Japan | ||
11:05 25mResearch paper | High-Fidelity Metaprogramming with Separator Syntax Trees PEPM DOI | ||
11:30 15mBreak | Mini Break 1 PEPM | ||
11:45 25mResearch 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 20mShort-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 | |||
14:00 60mTalk | 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 35mTalk | Frex: Free extensions for normalisation by evaluation (invited talk) PEPM Ohad Kammar University of Edinburgh Media Attached | ||
16:10 25mResearch paper | Symbolic Bisimulation for Open and Parameterized System PEPM DOI File Attached | ||
16:35 15mBreak | Mini Break 2 PEPM | ||
16:50 35mTalk | Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk) PEPM | ||
17:25 20mShort-paper | An approach to generating text-based IDEs with syntax completion from syntax specification PEPM Isao Sasano Shibaura Institute of Technology DOI | ||