PEPM 2026

The central theme of PEPM is the duality of programs, which, on the one hand, have computational meaning, and on the other hand, are themselves data structures that can be manipulated — analysed, generated, and transformed. Manipulation of programs is expected to have certain effect on the semantics of the programs, and PEPM focuses on techniques, supporting theory, tools, and applications of such semantics-based program manipulation. Each technique or tool of program manipulation should have a clear, although perhaps informal, statement of desired properties, along with an argument about how these properties can be achieved.

Possible topics include

• program optimisation (partial evaluation, supercompilation, fusion, etc),
• metaprogramming (staged computation, generic programming, embedded domain-specific languages, etc),
• program analysis (parsing, abstract interpretation, binding-time analysis, code mining, symbolic execution, decompilation, etc),
• program verification (model checking, constraint solving, type checking, etc),
• program synthesis (generative programming, inductive programming, model-driven program generation, generative AI, etc),
• program transformation (refactoring, program slicing, program adaptation, etc),

and their applications in scientific computing, distributed and web-based computing, embedded and resource-limited computing, etc.

Call for Papers

Three kinds of submissions will be accepted:

1. Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages.

2. Short Papers may include tool demonstrations and presentations of exciting, if not fully polished, research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages.

3. Talk Proposals may propose lectures about topics of interest for PEPM, existing work representing relevant contributions, or promising contributions that are not mature enough to be proposed as papers of the other categories. Talk Proposals must not exceed 2 pages.

References and appendices are not included in page limits. Appendices may not necessarily be read by reviewers. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm26.hotcrp.com

Reviewing will be single-blind.

Submissions are welcome from PC members (except the two co-chairs).

Accepted regular research papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Accepted short papers and talk proposals do not constitute formal publications and will not appear in the proceedings.

At least one author of each accepted contribution must attend the workshop (physically or virtually) to present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected.