POPL 2025 Co-Located Events
POPL 2025 Co-Located Events
Powered by
Conference Publishing Consulting
2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2025), January 21, 2025, Denver, CO, USA

PEPM 2025 – Proceedings

 Contents - Abstracts - Authors

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

Frontmatter

Title Page
Article: poplws25pepmforeword-fm000-p (type: Frontmatter) doi:
Message from the Chairs
Article: poplws25pepmforeword-fm001-p (type: Frontmatter) doi:
PEPM 2025 Organization
Article: poplws25pepmforeword-fm002-p (type: Frontmatter) doi:
PEPM 2025 Sponsor and Supporters
Article: poplws25pepmforeword-fm003-p (type: Frontmatter) doi:

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 (type: Invited Talk) doi:10.1145/3704253.3706135
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk Video): Video of conference presentation
A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract)
Brigitte Pientka
(McGill University, Canada)
Publisher's Version Article: poplws25pepmmain-p27-p (type: Invited Talk Abstract) doi:10.1145/3704253.3706136
A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Video): Video of conference presentation
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)
Satnam Singh
(Groq, USA)
Publisher's Version Article: poplws25pepmmain-key1-p (type: Invited Talk Abstract) 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 (type: Full Paper) doi:10.1145/3704253.3706137
Algebraic Stepper for Simple Modules (Video): Video of conference presentation
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 (type: Full Paper) doi:10.1145/3704253.3706140
A Type Safe Calculus for Generating Syntax-Directed Editors (Video): Video of the conference presentation
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 (type: Full Paper) doi:10.1145/3704253.3706139
Characterizations of Partial Well-Behaved Lenses (Video): Video of conference presentation
Typed Program Analysis without Encodings
Barry Jay
(Unaffiliated, Australia)
Publisher's Version Published Artifact Artifacts Available Article: poplws25pepmmain-p17-p (type: Full Paper) doi:10.1145/3704253.3706138
Typed Program Analysis without Encodings (Video): Video of conference presentation
TypedProgramAnalysis (doi:10.1145/3580441): Coq proofs of theorems in the paper "Typed Program Analysis without Encodings"

proc time: 0.03