PEPM 2025 – Proceedings

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

Frontmatter

Invited Contributions

The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk)
William J. Bowman
(University of British Columbia, Canada)

Publisher's Version Article: poplws25pepmmain-p23-p doi:10.1145/3704253.3706135

A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract)
Brigitte Pientka
(McGill University, Canada)

Publisher's Version Article: poplws25pepmmain-p27-p doi:10.1145/3704253.3706136

The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)
Satnam Singh
(Groq, USA)

Publisher's Version Article: poplws25pepmmain-key1-p doi:10.1145/3704253.3710847

Papers

Algebraic Stepper for Simple Modules
Kenichi Asai and Hinano Akiyama
(Ochanomizu University, Japan)

Publisher's Version Article: poplws25pepmmain-p8-p doi:10.1145/3704253.3706137

A Type Safe Calculus for Generating Syntax-Directed Editors
Benjamin Bennetzen, Nikolaj Rossander Kristensen, Andreas Tor Mortensen, Peter Buus Steffensen, Sune Skaanning Engtorp, and Hans Hüttel
(Aalborg University, Denmark; University of Copenhagen, Denmark)

Publisher's Version Article: poplws25pepmmain-p22-p doi:10.1145/3704253.3706140

Characterizations of Partial Well-Behaved Lenses
Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, and Kentaro Kikuchi
(University of Osaka, Japan; Tohoku University, Japan)

Publisher's Version Article: poplws25pepmmain-p18-p doi:10.1145/3704253.3706139

Typed Program Analysis without Encodings
Barry Jay
(Unaffiliated, Australia)

Publisher's Version Published Artifact Artifacts Available Article: poplws25pepmmain-p17-p doi:10.1145/3704253.3706138

proc time: 0.01