PEPM 2026 – Preliminary Table of Contents

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

Frontmatter

Papers

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


Article Search Article: poplws26pepmmain-p2-p

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


Article Search Article: poplws26pepmmain-p6-p

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


Article Search Article: poplws26pepmmain-p10-p

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


Article Search Article: poplws26pepmmain-p13-p

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


Article Search Article: poplws26pepmmain-p14-p

proc time: 2.13