Partial Evaluation and Program Manipulation
Partial Evaluation and Program Manipulation
In conjunction with
ACM-SIGACT Symposium on Principles of Programming Languages 2026
January 11-17, 2026
Le Couvent des Jacobins
Rennes, France
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been held in conjunction with POPL every year since 2006. The origin of PEPM is in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over time, PEPM has broadened its scope to include a variety of research areas centered around semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analyzed, and transformed while establishing or maintaining important semantic properties.
More workshops at ACM-SIGACT Symposium on Principles of Programming Languages 2026
- Certified Programs and Proofs — Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in...
- Auto-Active Program Verification — There is an established group of verification-aware programming languages that have native support for specifications...
- Languages for Inference — The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to...
- Programming Quantum Computers — The Sixth International Workshop on Programming Languages for Quantum Computing (PLanQC 2026) aims to bring...
- Principles of Secure Compilation — Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no...
- Rocq for Programming Languages — The goal of this workshop is to provide an opportunity for programming languages researchers and...
- Theory and Practice of Static Analysis — This workshop provides a venue where researchers and practitioners can present speculative ideas about new...
- Verification, Model Checking & Abstract Interpretation Workshops — VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract...
- Implementation of Type Systems — The goal of this workshop is to bring together the implementors of a variety of...
Hotels near Le Couvent des Jacobins
Garden Hotel
3 Rue Jean Marie Duhamel, 35000 Rennes, France
Hôtel Atlantic
31 Bd de Beaumont, 35000 Rennes, France
Hôtel Lanjuinais
11 Rue Comté de Lanjuinais, 35000 Rennes, France
Kyriad Rennes Centre Gare
6 Pl. de la Gare, 35000 Rennes, France
Mercure Rennes Centre Parlement
1 Rue Paul Louis Courier, 35000 Rennes, France
Novotel Rennes Centre Gare
22 Av. Jean Janvier, 35000 Rennes, France