POPL 2023 (series) / PEPM 2023 (series) /
PEPM 2023 Program
This is the PEPM 2023 program - see the full program for POPL 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 17 JanDisplayed time zone: Eastern Time (US & Canada) change
Tue 17 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | Keynote + 1 talkPEPM at Scollay Chair(s): Jens Palsberg University of California, Los Angeles (UCLA) | ||
09:00 60mKeynote | Fast Cryptographic Code via Partial Evaluation PEPM Adam Chlipala Massachusetts Institute of Technology | ||
10:00 30mTalk | Towards Type Debugging using Partial Evaluation PEPM |
11:00 - 12:30 | |||
11:00 30mTalk | Semantic Transformation Framework for Rewriting Rules PEPM | ||
11:30 30mTalk | Symbolic Execution of Hadamard-Toffoli Quantum Circuits PEPM | ||
12:00 30mTalk | Generating Programs for Polynomial Multiplication with Correctness Assurance PEPM |
14:00 - 15:30 | |||
14:00 60mIndustry talk | MATLAB Coder: Partial Evaluation in Practice PEPM | ||
15:00 30mTalk | Modular Construction of Multi-sorted Free Extensions PEPM Guillaume Allais University of St Andrews, Nathan Corbyn University of Oxford, Ohad Kammar University of Edinburgh, Nachiappan Valliappan Chalmers University of Technology, Sam Lindley University of Edinburgh, Jeremy Yallop University of Cambridge File Attached |
16:00 - 17:30 | |||
16:00 30mTalk | Efficient Embedding of Strategic Attribute Grammars via MemoizationRemote PEPM José Nuno Macedo University of Minho, Emanuel Rodrigues HASLab & INESC TEC, University of Minho, Marcos Viera University of the Republic, Uruguay, João Saraiva | ||
16:30 30mTalk | Towards a Reflection for Effect HandlersRecorded PEPM | ||
17:00 30mDay closing | Wrap up PEPM Jens Palsberg University of California, Los Angeles (UCLA), Edwin Brady University of St Andrews, UK |