<div dir="ltr">CALL FOR PAPERS<br>The 2026 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation<br><a href="https://urldefense.com/v3/__https://popl26.sigplan.org/home/pepm-2026__;!!IBzWLUs!Rv_-st2UPUHkqY8n9oPYIHYteFHt-dCAXzrydUKcWbLTap9rEhQlVH8IrdwurkqfYA4IjR7NBOMd5VuxAuqGCydFTJPKDIT4$">https://popl26.sigplan.org/home/pepm-2026</a><div><br># Important Dates, AoE, UTC-12h<br><br>Paper due    Fri 25 Oct 2025<br>Notification Fri 28 Nov 2025<br>Workshop     Tue 13 Jan 2026<br><br># About<br><br>The ACM SIGPLAN Workshop on Partial Evaluation and<br>Program Manipulation (PEPM) has a history going back<br>to 1991 and has been held in conjunction with POPL<br>every year since 2006.<br>The origin of PEPM is in the discoveries of practically<br>useful automated techniques for evaluating programs<br>with only partial input. Over time, PEPM has broadened<br>its scope to include a variety of research areas centered<br>around semantics-based program manipulation — the systematic<br>exploitation of treating programs not only as subject<br>to black-box execution, but also as data structures<br>that can be generated, analyzed, and transformed while<br>establishing or maintaining important semantic properties.<br><br># Scope<br><br>Topics of interest for PEPM 2026 include, but are not limited to:<br><br>* Program and model manipulation techniques such as:<br>  supercompilation, partial evaluation, fusion, on-the-fly<br>  program adaptation, active libraries, program inversion,<br>  slicing, symbolic execution, refactoring, decompilation,<br>  and obfuscation.<br><br>* Techniques that treat programs/models as data objects<br>  including metaprogramming, generative programming,<br>  embedded domain-specific languages, program synthesis by sketching<br>  and inductive programming, staged computation, and<br>  model-driven program generation and transformation.<br><br>* Program analysis techniques that are used to drive<br>  program/model manipulation such as: abstract interpretation,<br>  termination checking, binding-time analysis, constraint solving,<br>  type systems, automated testing and test case generation.<br><br>* Application of the above techniques including case studies<br>  of program manipulation in real-world (industrial, open-source)<br>  projects and software development processes, descriptions of<br>  robust tools capable of effectively handling realistic applications,<br>  benchmarking. Examples of application domains include legacy<br>  program understanding and transformation, DSL implementations,<br>  visual languages and end-user programming, scientific computing,<br>  middleware frameworks and infrastructure needed for distributed<br>  and web-based applications, embedded and resource-limited computation,<br>  and security.<br><br>* Cross-fertilization with other fields, such as semantics based and<br>  machine-learning based program synthesis and program optimisation, and<br>  modeling, analysis, and transformation techniques for distributed and<br>  concurrent protocols and programs, such as session types, linear types,<br>  and contract specifications.<br><br>This list of categories is not exhaustive, and we encourage<br>submissions describing new theories and applications related<br>to semantics-based program manipulation in general. If you have<br>a question as to whether a potential submission is within the<br>scope of the workshop, please contact the programme co-chairs,<br>Yukiyoshi Kameyama (kameyama at <a href="https://urldefense.com/v3/__http://acm.org__;!!IBzWLUs!Rv_-st2UPUHkqY8n9oPYIHYteFHt-dCAXzrydUKcWbLTap9rEhQlVH8IrdwurkqfYA4IjR7NBOMd5VuxAuqGCydFTCEs4-gt$">acm.org</a>)<br>and Ningning Xie (ningningxie at <a href="https://urldefense.com/v3/__http://cs.toronto.edu__;!!IBzWLUs!Rv_-st2UPUHkqY8n9oPYIHYteFHt-dCAXzrydUKcWbLTap9rEhQlVH8IrdwurkqfYA4IjR7NBOMd5VuxAuqGCydFTHTMhgRc$">cs.toronto.edu</a>).<br><br># Submission Categories and Guidelines<br><br>Three kinds of submissions will be accepted:<br><br>1. Regular Research Papers should describe new results,<br>  and will be judged on originality, correctness, significance,<br>  and clarity. Regular research papers must not exceed 12 pages.<br><br>2. Short Papers may include tool demonstrations and presentations<br>  of exciting if not fully polished research, and of interesting<br>  academic, industrial, and open-source applications that are new<br>  or unfamiliar. Short papers must not exceed 6 pages.<br><br>3. Talk Proposals may propose lectures about topics of interest<br>  for PEPM, existing work representing relevant contributions,<br>  or promising contributions that are not mature enough to be<br>  proposed as papers of the other categories. Talk Proposals<br>  must not exceed 2 pages.<br><br>References and appendices are not included in page limits.<br>Appendices may not necessarily be read by reviewers.<br>All the submissions should be typeset using the two-column<br>‘sigplan’ sub-format of the new ‘acmart’ format available at:<br><a href="https://urldefense.com/v3/__https://sigplan.org/Resources/Author/__;!!IBzWLUs!Rv_-st2UPUHkqY8n9oPYIHYteFHt-dCAXzrydUKcWbLTap9rEhQlVH8IrdwurkqfYA4IjR7NBOMd5VuxAuqGCydFTPhyN4el$">https://sigplan.org/Resources/Author/</a><br>and submitted electronically via HotCRP: <a href="https://urldefense.com/v3/__https://pepm26.hotcrp.com__;!!IBzWLUs!Rv_-st2UPUHkqY8n9oPYIHYteFHt-dCAXzrydUKcWbLTap9rEhQlVH8IrdwurkqfYA4IjR7NBOMd5VuxAuqGCydFTPhiTUGI$">https://pepm26.hotcrp.com</a><br><br>Reviewing will be single-blind.<br><br>Submissions are welcome from PC members (except the two co-chairs).<br><br>Accepted regular research papers will appear in formal proceedings<br>published by ACM, and be included in the ACM Digital Library.<br>Accepted short papers do not constitute formal publications and<br>will not appear in the proceedings.<br><br>At least one author of each accepted contribution must attend<br>the workshop (physically or virtually) to present the work.<br>In the case of tool demonstration papers, a live demonstration<br>of the described tool is expected.<br><br>## Program co-chairs<br><br>Yukiyoshi Kameyama, University of Tsukuba, Japan<br>Ningning Xie, University of Toronto, Canada<br><br>## PC members<br><br>Kenichi Asai, Ochanomizu University<br>Robert Atkey, University of Strathclyde<br>Stephanie Balzer, CMU<br>William J. Bowman, University of British Columbia<br>Paul Downen, University of Massachusetts, Lowell<br>Sebastian Erdweg, JGU Mainz<br>Robert Glück, University of Copenhagen<br>Zhenjiang Hu, Peking University<br>Yusuke Izawa, Tokyo Metropolitan University<br>Naoki Kobayashi, University of Tokyo<br>Geoffrey Mainland, Drexel University<br>Keisuke Nakano, Tohoku University<br>Lionel Parreaux, Hong Kong University of Science and Technology<br>Morten Rhiger, Roskilde University<br>Tom Schrijvers, KU Leuven<br>Guannan Wei, Tufts University<br>Leo White, Jane Street</div></div>