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)

Frontmatter

Title Page
Article: poplws24pepmforeword-fm000-p doi:
Welcome from the Chairs
Article: poplws24pepmforeword-fm001-p doi:
PEPM 2024 Workshop Organization
Article: poplws24pepmforeword-fm002-p doi:

Invited Contributions

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

Papers

Complete Stream Fusion for Software-Defined Radio
Tomoaki Kobayashi and Oleg Kiselyov
(Tohoku University, Japan)
Publisher's Version Info Article: poplws24pepmmain-id4-p doi:10.1145/3635800.3636962
Productivity Verification for Functional Programs by Reduction to Termination Verification
Ren Fukaishi, Naoki Kobayashi, and Ryosuke Sato
(University of Tokyo, Japan)
Publisher's Version Article: poplws24pepmmain-id6-p doi:10.1145/3635800.3636963
Scoped and Typed Staging by Evaluation
Guillaume Allais
(University of Strathclyde, UK)
Publisher's Version Article: poplws24pepmmain-id7-p doi:10.1145/3635800.3636964
Ownership Types for Verification of Programs with Pointer Arithmetic
Izumi Tanaka, Ken Sakayori, and Naoki Kobayashi
(University of Tokyo, Japan)
Publisher's Version Article: poplws24pepmmain-id5-p doi:10.1145/3635800.3636965
A Case Study in Functional Conversion and Mode Inference in miniKanren
Ekaterina Verbitskaia, Igor Engel, and Daniil Berezun
(JetBrains Research, Serbia; Constructor University Bremen, Germany; JetBrains Research, Germany; JetBrains Research, Netherlands)
Publisher's Version Article: poplws24pepmmain-id9-p doi:10.1145/3635800.3636966
Partial Evaluation of Reversible Flowchart Programs
Louis Marott Normann and Robert Glück
(University of Copenhagen, Denmark)
Publisher's Version Article: poplws24pepmmain-id12-p doi:10.1145/3635800.3636967
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)
Publisher's Version Article: poplws24pepmmain-id2-p doi:10.1145/3635800.3636968

proc time: 0.02