POPL 2022 (series) / PEPM 2022 (series) /
PEPM 2022 Program
This is the PEPM 2022 program - see the full program for POPL 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 17 JanDisplayed time zone: Eastern Time (US & Canada) change
Mon 17 Jan
Displayed time zone: Eastern Time (US & Canada) change
10:00 - 10:15 | |||
10:00 15mDay opening | Welcome & AnnouncementRemote PEPM Zena M. Ariola University of Oregon, Youyou Cong Tokyo Institute of Technology, Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital |
10:15 - 11:15 | |||
10:15 60mKeynote | Why are partial evaluation and supercompilation still not widely used in practice? Reflections in light of Russian work on metacomputation.Remote PEPM Andrei Klimov Keldysh Institute of Applied Mathematics of Russian Academy of Sciences File Attached |
11:35 - 12:35 | Contributed Talks 1PEPM at PEPM Chair(s): Antonina Nepeivoda Program Systems Institute of RAS, Russia | ||
11:35 30mTalk | Partially Evaluating Symbolic Interpreters for AllRemote PEPM File Attached | ||
12:05 30mTalk | Parallel Algebraic Effect HandlersRemote PEPM Ningning Xie University of Cambridge, Daniel D. Johnson Google Research, Dougal Maclaurin Google Research, Adam Paszke Google Research File Attached |
12:55 - 13:55 | |||
12:55 60mKeynote | From meta frameworks and transformations to distributed computing and moreRemote PEPM Y. Annie Liu Stony Brook University |
14:15 - 15:15 | |||
14:15 60mKeynote | Modal Logics and Types: Looking Back and Looking ForwardRemote PEPM Frank Pfenning Carnegie Mellon University, USA |
Tue 18 JanDisplayed time zone: Eastern Time (US & Canada) change
Tue 18 Jan
Displayed time zone: Eastern Time (US & Canada) change
04:00 - 05:00 | |||
04:00 60mKeynote | On Type-Based Techniques for Program ManipulationRemote PEPM Naoki Kobayashi University of Tokyo, Japan |
05:20 - 06:35 | |||
05:20 45mTalk | Two-level Just-in-Time Compilation with One Interpreter and One EngineRemote PEPM Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Carl Friedrich Bolz-Tereick Heinrich-Heine-Universität Düsseldorf Pre-print Media Attached File Attached | ||
06:05 30mTalk | let (rec) insertion without Effects, Lights or MagicRemote PEPM Pre-print |
06:55 - 07:55 | |||
06:55 60mKeynote | A partial history of partial evaluationRemote PEPM Peter Sestoft IT University of Copenhagen |
08:15 - 09:15 | |||
08:15 30mTalk | Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent TypesRemote PEPM Christopher Brown University of St. Andrews, UK, Adam D. Barwell Imperial College London, UK, Yoann Marquer INRIA, Rennes, France, Olivier Zendra INRIA, Rennes, France, Tania Richmond INRIA, Rennes, France then DGA - Maîtrise de l’Information, Chen Gu Hefei University of Technology, China Link to publication | ||
08:45 30mTalk | Dependent tagless finalRemote PEPM Nicolas Biri Luxembourg Institute of Science and Technology Link to publication |