| 2024 | A Case Study in Functional Conversion and Mode Inference in miniKanren. Ekaterina Verbitskaia, Igor Engel, Daniil Berezun |
| 2024 | A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis |
| 2024 | An Intrinsically Typed Compiler for Algebraic Effect Handlers. Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara |
| 2024 | Complete Stream Fusion for Software-Defined Radio. Tomoaki Kobayashi, Oleg Kiselyov |
| 2024 | In memoriam Neil Deaton Jones. Fritz Henglein |
| 2024 | Incremental Computation: What Is the Essence? (Invited Contribution). Yanhong A. Liu |
| 2024 | Ownership Types for Verification of Programs with Pointer Arithmetic. Izumi Tanaka, Ken Sakayori, Naoki Kobayashi |
| 2024 | Partial Evaluation of Reversible Flowchart Programs. Louis Normann, Robert Glück |
| 2024 | Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024 Gabriele Keller, Meng Wang |
| 2024 | Productivity Verification for Functional Programs by Reduction to Termination Verification. Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato |
| 2024 | Scoped and Typed Staging by Evaluation. Guillaume Allais |
| 2024 | The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution). Dines Bjørner |
| 2024 | The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). Peter Sestoft, Harald Søndergaard |