<div dir="ltr"><div>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!WSFrG1mXYWxOICMDqL2RJhvTUlQpllC9VN1JNeWJC1iPxFbDDTGmfo751VV6LiLPDIUdcWH_6wjLJWP8u_s4Mco9fd8axA$">https://popl26.sigplan.org/home/pepm-2026</a><br><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, and<br>  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 (<a href="mailto:kameyama@acm.org">kameyama@acm.org</a>)<br>and Ningning Xie (<a href="mailto:ningningxie@cs.toronto.edu">ningningxie@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!WSFrG1mXYWxOICMDqL2RJhvTUlQpllC9VN1JNeWJC1iPxFbDDTGmfo751VV6LiLPDIUdcWH_6wjLJWP8u_s4McqscDuDmQ$">https://sigplan.org/Resources/Author/</a><br>and submitted electronically via HotCRP: <a href="https://urldefense.com/v3/__https://pepm26.hotcrp.com__;!!IBzWLUs!WSFrG1mXYWxOICMDqL2RJhvTUlQpllC9VN1JNeWJC1iPxFbDDTGmfo751VV6LiLPDIUdcWH_6wjLJWP8u_s4McrewPPMLg$">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>## Chairs<br><br>Yukiyoshi Kameyama, University of Tsukuba, Japan<br>Ningning Xie, University of Toronto, Canada<br></div><div><br></div></div>