PEPM 2024 – Proceedings

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

Frontmatter

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 (type: Invited Talk) doi:10.1145/3635800.3637445

In memoriam Neil Deaton Jones
Fritz Henglein
(University of Copenhagen, Denmark)

Publisher's Version Article: poplws24pepmmain-id01-p (type: Abstract) 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 (type: Invited Talk) doi:10.1145/3635800.3637446

Corrigendum: Corrigendum to "A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)" by Pettorossi et al., Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM '24).

Incremental Computation: What Is the Essence? (Invited Contribution)
Yanhong A. Liu
(Stony Brook University, USA)

Publisher's Version Article: poplws24pepmmain-id15-p (type: Invited Talk) 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 (type: Invited Talk) doi:10.1145/3635800.3637448

Papers

Complete Stream Fusion for Software-Defined Radio
Tomoaki Kobayashi and Oleg Kiselyov
(Tohoku University, Japan)

Publisher's Version Article: poplws24pepmmain-id4-p (type: Full Paper (12 pages, appendices and references excluded)) 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 (type: Full Paper (12 pages, appendices and references excluded)) doi:10.1145/3635800.3636963

Scoped and Typed Staging by Evaluation
Guillaume Allais
(University of Strathclyde, UK)

Publisher's Version Article: poplws24pepmmain-id7-p (type: Full Paper (12 pages, appendices and references excluded)) 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 (type: Full Paper (12 pages, appendices and references excluded)) 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 (type: Full Paper (12 pages, appendices and references excluded)) 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 (type: Full Paper (13 pages, appendices and references excluded)) 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 (type: Full Paper (12 pages, appendices and references excluded)) doi:10.1145/3635800.3636968

proc time: 0.02