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 Article: poplws26pepmmain-key1-p (type: Abstract) doi:10.1145/3779209.3787154

Revisiting the Evolution of Effects (Invited Talk): Recorded video presentation of "Revisiting the Evolution of Effects (Invited Talk)". Presentation at the PEPM 2026 workshop, Jan 13, 2026, https://popl26.sigplan.org/home/pepm-2026/

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 (type: Full Paper) doi:10.1145/3779209.3779534

Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations: Recorded video presentation of "Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations". Presentation at the PEPM 2026 workshop, Jan 13, 2026, https://popl26.sigplan.org/home/pepm-2026/

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 (type: Full Paper) doi:10.1145/3779209.3779535

Hole Refinements for Polymorphic Type-and-Example Driven Synthesis: Recorded video presentation of "Hole Refinements for Polymorphic Type-and-Example Driven Synthesis". Presentation at the PEPM 2026 workshop, Jan 13, 2026, https://popl26.sigplan.org/home/pepm-2026/

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

Publisher's Version Article: poplws26pepmmain-p10-p (type: Full Paper) doi:10.1145/3779209.3779536

Staging Effect Handlers for Modular Search: Recorded video presentation of "Staging Effect Handlers for Modular Search". Presentation at the PEPM 2026 workshop, Jan 13, 2026, https://popl26.sigplan.org/home/pepm-2026/

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 (type: Full Paper) doi:10.1145/3779209.3779537

Towards Lightweight and Efficient Choreographic Cloud Services: Recorded video presentation of "Towards Lightweight and Efficient Choreographic Cloud Services". Presentation at the PEPM 2026 workshop, Jan 13, 2026, https://popl26.sigplan.org/home/pepm-2026/

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 (type: Full Paper) doi:10.1145/3779209.3779538

Inferring Typing Rules for Contextual Sugars: Recorded video presentation of "Inferring Typing Rules for Contextual Sugars". Presentation at the PEPM 2026 workshop, Jan 13, 2026, https://popl26.sigplan.org/home/pepm-2026/

proc time: 0.02