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
Rooms
Tracks
Badges
Your Program
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 Poulsen 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 |