PEPM 2026 – Proceedings

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

Frontmatter

Invited Talk

Revisiting the Evolution of Effects (Invited Talk)
Nicolas Wu
(Imperial College London, UK)

Publisher's Version

Papers

Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations
Sean Kristian Remond Harbo and Hans Hüttel
(Aalborg University, Denmark)

Publisher's Version

Hole Refinements for Polymorphic Type-and-Example Driven Synthesis
Niek Mulleners, Johan Jeuring, and Wouter Swierstra
(Utrecht University, Netherlands)

Publisher's Version

Staging Effect Handlers for Modular Search
Alexandru Trifanov and Tom Schrijvers
(Independent, Romania; KU Leuven, Belgium)

Publisher's Version

Towards Lightweight and Efficient Choreographic Cloud Services
Alex Ionescu and Alejandro Russo
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)

Publisher's Version Info

Inferring Typing Rules for Contextual Sugars
Tailai Yu, Zhichao Guan, Di Wang, and Zhenjiang Hu
(Peking University, China)

Publisher's Version

proc time: 0.76