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
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
and
Harald Søndergaard
(IT University of Copenhagen, Denmark; University of Melbourne, Australia)
Publisher's Version
In memoriam Neil Deaton Jones
Fritz Henglein
(University of Copenhagen, Denmark)
Publisher's Version
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
Incremental Computation: What Is the Essence? (Invited Contribution)
Yanhong A. Liu
(Stony Brook University, USA)
Publisher's Version
The 0'th PEPM Event: October 1987—and Andrei Petrovich Ershov: 1977–1988 (Invited Contribution)
Dines Bjørner
(DTU, Denmark)
Publisher's Version
Papers
Complete Stream Fusion for Software-Defined Radio
Tomoaki Kobayashi
and Oleg Kiselyov
(Tohoku University, Japan)
Publisher's Version
Info
Productivity Verification for Functional Programs by Reduction to Termination Verification
Ren Fukaishi
,
Naoki Kobayashi
, and Ryosuke Sato
(University of Tokyo, Japan)
Publisher's Version
Scoped and Typed Staging by Evaluation
Guillaume Allais
(University of Strathclyde, UK)
Publisher's Version
Ownership Types for Verification of Programs with Pointer Arithmetic
Izumi Tanaka
, Ken Sakayori
, and
Naoki Kobayashi
(University of Tokyo, Japan)
Publisher's Version
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
Partial Evaluation of Reversible Flowchart Programs
Louis Marott Normann
and Robert Glück
(University of Copenhagen, Denmark)
Publisher's Version
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Syouki Tsuyama
,
Youyou Cong
, and
Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)
Publisher's Version
proc time: 3.49