POPL 2024 (series) / PEPM 2024 (series) /
PEPM 2024 Program
This is the PEPM 2024 program - see the full program for POPL 2024 and all affiliated events.
Filter Program
Dates
Sun 14 Jan 2024
Mon 15 Jan 2024
Tue 16 Jan 2024
Sat 20 Jan 2024
Rooms
Haslett Room
Maxwell Library
Riverside Room
Siemens Boardroom
Tracks
PEPM
POPL Catering
Badges
Distinguished Paper
Remote
Your Program
Nothing to filter
Sun 14 JanDisplayed time zone: London change
Sun 14 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
Mon 15 JanDisplayed time zone: London change
Mon 15 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
Tue 16 JanDisplayed time zone: London change
Tue 16 Jan
Displayed time zone: London change
09:00 - 10:30 | |||
09:00 5mTalk | Opening PEPM | ||
09:05 60mKeynote | From Theory to Practice: Crafting Differential Privacy Systems with Haskell PEPM Alejandro Russo Chalmers University of Technology, Sweden | ||
10:05 25mTalk | Productivity Verification for Functional Programs by Reduction to Termination Verification PEPM Ren Fukaishi The University of Tokyo, Naoki Kobayashi University of Tokyo, Ryosuke Sato University of Tokyo DOI |
10:30 - 11:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
11:00 - 12:30 | |||
11:00 25mTalk | Complete Stream Fusion for Software-Defined RadioDistinguished Paper PEPM DOI | ||
11:25 25mTalk | A Case Study in Functional Conversion and Mode Inference in miniKanren PEPM Ekaterina Verbitskaia JetBrains Research; Constructor University Bremen, Igor Engel JetBrains Research; Constructor University Bremen, Daniil Berezun JetBrains Research; Constructor University Bremen DOI | ||
11:50 25mTalk | Partial Evaluation of Reversible Flowchart Programs PEPM DOI | ||
12:15 15mTalk | Towards a Language-parametric DSL for Refactoring (Short Paper) PEPM Casper Bach Delft University of Technology, Xulei Liu Delft University of Technology, Luka Miljak Delft University of Technology File Attached |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | |||
14:00 25mTalk | An Intrinsically Typed Compiler for Algebraic Effect Handlers PEPM Syouki Tsuyama Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology DOI | ||
14:25 25mTalk | Ownership Types for Verification of Programs with Pointer Arithmetic PEPM Izumi Tanaka University of Tokyo, Ken Sakayori University of Tokyo, Naoki Kobayashi University of Tokyo DOI | ||
14:50 25mTalk | Scoped and Typed Staging by EvaluationRemote PEPM Guillaume Allais University of Strathclyde DOI Pre-print | ||
15:15 15mTalk | One-Pass CPS Translation of Dependent Types (Talk Proposal) PEPM Youyou Cong Tokyo Institute of Technology Pre-print |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
16:00 - 18:30 | History of PEPMPEPM at Haslett Room Chair(s): Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital | ||
16:00 30mTalk | In memoriam Neil Deaton Jones PEPM Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital DOI | ||
16:30 30mTalk | The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution) PEPM DOI | ||
17:00 30mTalk | A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) PEPM Alberto Pettorossi University of Rome Tor Vergata; IASI-CNR, Maurizio Proietti IASI-CNR, Fabio Fioravanti University of Chieti-Pescara, Emanuele De Angelis IASI-CNR DOI | ||
17:30 30mTalk | Incremental Computation: What Is the Essence? (Invited Contribution)Remote PEPM Y. Annie Liu Stony Brook University DOI | ||
18:00 30mMeeting | Informal discussion on history and future of PEPM PEPM |
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |