POPL 2024 Co-Located Events
POPL 2024 Co-Located Events
Powered by
Conference Publishing Consulting

2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), January 16, 2024, London, UK

PEPM 2024 – Proceedings

Contents - Abstracts - Authors

2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)


Title Page
Welcome from the Chairs
PEPM 2024 Workshop Organization

Invited Contributions

The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
Peter Sestoft ORCID logo and Harald SøndergaardORCID logo
(IT University of Copenhagen, Denmark; University of Melbourne, Australia)
Publisher's Version
In memoriam Neil Deaton Jones
Fritz Henglein ORCID logo
(University of Copenhagen, Denmark)
Publisher's Version
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Alberto Pettorossi ORCID logo, Maurizio Proietti ORCID logo, Fabio Fioravanti ORCID logo, and Emanuele De Angelis ORCID logo
(University of Rome Tor Vergata, Italy; IASI-CNR, Italy; University of Chieti-Pescara, Italy)
Publisher's Version
Incremental Computation: What Is the Essence? (Invited Contribution)
Yanhong A. Liu ORCID logo
(Stony Brook University, USA)
Publisher's Version
The 0'th PEPM Event: October 1987—and Andrei Petrovich Ershov: 1977–1988 (Invited Contribution)
Dines BjørnerORCID logo
(DTU, Denmark)
Publisher's Version


Complete Stream Fusion for Software-Defined Radio
Tomoaki Kobayashi ORCID logo and Oleg Kiselyov ORCID logo
(Tohoku University, Japan)
Publisher's Version Info
Productivity Verification for Functional Programs by Reduction to Termination Verification
Ren Fukaishi ORCID logo, Naoki KobayashiORCID logo, and Ryosuke Sato ORCID logo
(University of Tokyo, Japan)
Publisher's Version
Scoped and Typed Staging by Evaluation
Guillaume Allais ORCID logo
(University of Strathclyde, UK)
Publisher's Version
Ownership Types for Verification of Programs with Pointer Arithmetic
Izumi Tanaka ORCID logo, Ken Sakayori ORCID logo, and Naoki KobayashiORCID logo
(University of Tokyo, Japan)
Publisher's Version
A Case Study in Functional Conversion and Mode Inference in miniKanren
Ekaterina Verbitskaia ORCID logo, Igor Engel ORCID logo, and Daniil Berezun ORCID logo
(JetBrains Research, Serbia; Constructor University Bremen, Germany; JetBrains Research, Germany; JetBrains Research, Netherlands)
Publisher's Version
Partial Evaluation of Reversible Flowchart Programs
Louis Marott Normann ORCID logo and Robert Glück ORCID logo
(University of Copenhagen, Denmark)
Publisher's Version
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Syouki Tsuyama ORCID logo, Youyou CongORCID logo, and Hidehiko MasuharaORCID logo
(Tokyo Institute of Technology, Japan)
Publisher's Version

proc time: 2.98