POPL 2026 Co-Located Events
POPL 2026 Co-Located Events
Powered by
Conference Publishing Consulting
2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2026), January 11-17, 2026, Rennes, France

PEPM 2026 – Proceedings

 Contents - Abstracts - Authors

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

Frontmatter

Title Page
Article: poplws26pepmforeword-fm000-p doi:
Welcome from the Chairs
Article: poplws26pepmforeword-fm001-p doi:
PEPM 2026 Organization
Article: poplws26pepmforeword-fm002-p doi:

Invited Talk

Revisiting the Evolution of Effects (Invited Talk)
Nicolas Wu
(Imperial College London, UK)
Publisher's Version Article: poplws26pepmmain-key1-p doi:10.1145/3779209.3787154

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 Article: poplws26pepmmain-p2-p doi:10.1145/3779209.3779534
Hole Refinements for Polymorphic Type-and-Example Driven Synthesis
Niek Mulleners, Johan Jeuring, and Wouter Swierstra
(Utrecht University, Netherlands)
Publisher's Version Article: poplws26pepmmain-p6-p doi:10.1145/3779209.3779535
Staging Effect Handlers for Modular Search
Alexandru Trifanov and Tom Schrijvers
(Independent, Romania; KU Leuven, Belgium)
Publisher's Version Article: poplws26pepmmain-p10-p doi:10.1145/3779209.3779536
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 Article: poplws26pepmmain-p13-p doi:10.1145/3779209.3779537
Inferring Typing Rules for Contextual Sugars
Tailai Yu, Zhichao Guan, Di Wang, and Zhenjiang Hu
(Peking University, China)
Publisher's Version Article: poplws26pepmmain-p14-p doi:10.1145/3779209.3779538

proc time: 0.01