PEPM 2025 – Preliminary Table of Contents

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

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

Publisher's Version

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

Publisher's Version

Papers

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

Publisher's Version

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

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

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

Publisher's Version Published Artifact Artifacts Available

proc time: 2.44