<div dir="ltr">                           -- CALL FOR PAPERS --<br><br>ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022<br>===============================================================================<br><br>  * Website : <a href="https://urldefense.com/v3/__https://popl22.sigplan.org/home/pepm-2022__;!!IBzWLUs!BoVxzYG5js7a1SGXTeoHtcCXhzSYhcxa2U0e6_5af9mGQsL3YH8aO3UTYe02WVhzLbbv5IxN2mS_Kw$" target="_blank">https://popl22.sigplan.org/home/pepm-2022</a><br>  * Time    : 17th--18th January 2022<br>  * Place   : Online or Philadelphia, Pennsylvania, United States<br>              (co-located with POPL 2022)<br><br>  **Note that the workshop will be held as a physical, virtual, or<br>  hybrid physical/virtual meeting in line with POPL 2022. Details to<br>  appear.**<br><br>The ACM SIGPLAN Workshop on Partial Evaluation and Program<br>Manipulation (PEPM) has a history going back to 1991 and has been<br>co-located with POPL every year since 2006. It originated with the<br>discoveries of useful automated techniques for evaluating<br>programs with only partial input. Over the years, the scope of PEPM<br>has expanded to include a variety of research areas centred around the<br>theme of semantics-based program manipulation — the systematic<br>exploitation of treating programs not only as subjects to black-box<br>execution but also as data structures that can be generated,<br>analysed, and transformed while establishing or maintaining important<br>semantic properties.<br><br>Scope<br>-----<br><br>In addition to the traditional PEPM topics (see below), PEPM 2022<br>welcomes submissions in new domains, in particular:<br><br>  * Semantics based and machine-learning based program synthesis and<br>    program optimisation.<br><br>  * Modelling, analysis, and transformation techniques for distributed<br>    and concurrent protocols and programs, such as session types,<br>    linear types, and contract specifications.<br><br>More generally, topics of interest for PEPM 2022 include, but are not<br>limited to:<br><br>  * Program and model manipulation techniques such as:<br>    supercompilation, partial evaluation, fusion, on-the-fly program<br>    adaptation, active libraries, program inversion, slicing, symbolic<br>    execution, refactoring, decompilation, and obfuscation.<br><br>  * Techniques that treat programs/models as data objects including<br>    metaprogramming, generative programming, embedded domain-specific<br>    languages, program synthesis by sketching and inductive<br>    programming, staged computation, and model-driven program<br>    generation and transformation.<br><br>  * Program analysis techniques that are used to drive program/model<br>    manipulation such as: abstract interpretation, termination<br>    checking, binding-time analysis, constraint solving, type systems,<br>    automated testing and test case generation.<br><br>  * Application of the above techniques including case studies of<br>    program manipulation in real-world (industrial, open-source)<br>    projects and software development processes, descriptions of<br>    robust tools capable of effectively handling realistic<br>    applications, benchmarking. Examples of application domains<br>    include legacy program understanding and transformation, DSL<br>    implementations, visual languages and end-user programming,<br>    scientific computing, middleware frameworks and infrastructure<br>    needed for distributed and web-based applications, embedded and<br>    resource-limited computation, and security.<br><br>This list of categories is not exhaustive, and we encourage<br>submissions describing new theories and applications related to<br>semantics-based program manipulation in general. If you have a<br>question as to whether a potential submission is within the scope of<br>the workshop, please contact the programme co-chairs, Zena M. Ariola<br><<a href="mailto:ariola@cs.uoregon.edu" target="_blank">ariola@cs.uoregon.edu</a>> and Youyou Cong <<a href="mailto:cong@c.titech.ac.jp" target="_blank">cong@c.titech.ac.jp</a>>.<br><br>Submission categories and guidelines<br>------------------------------------<br><br>Two kinds of submissions will be accepted:<br><br>  * Regular Research Papers should describe new results, and will be<br>    judged on originality, correctness, significance, and clarity.<br>    Regular research papers must not exceed 12 pages.<br><br>  * Short Papers may include tool demonstrations and presentations of<br>    exciting if not fully polished research, and of interesting<br>    academic, industrial, and open-source applications that are new or<br>    unfamiliar. Short papers must not exceed 6 pages.<br><br>References and appendices are not included in page limits. Appendices<br>may not be read by reviewers. Both kinds of submissions should be<br>typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’<br>format available at:<br><br>  <a href="https://urldefense.com/v3/__http://sigplan.org/Resources/Author/__;!!IBzWLUs!BoVxzYG5js7a1SGXTeoHtcCXhzSYhcxa2U0e6_5af9mGQsL3YH8aO3UTYe02WVhzLbbv5IwPfgP3IA$" target="_blank">http://sigplan.org/Resources/Author/</a><br><br>and submitted electronically via HotCRP:<br><br>  <a href="https://urldefense.com/v3/__https://pepm22.hotcrp.com/__;!!IBzWLUs!BoVxzYG5js7a1SGXTeoHtcCXhzSYhcxa2U0e6_5af9mGQsL3YH8aO3UTYe02WVhzLbbv5IwBrPLidw$" target="_blank">https://pepm22.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 will<br>not appear in the proceedings.<br><br>At least one author of each accepted contribution must attend the<br>workshop (physically or virtually) and present the work. In the case<br>of tool demonstration papers, a live demonstration of the described<br>tool is expected.<br><br>Important dates<br>---------------<br><br>  * Paper submission deadline : **Thursday 7th October 2021 (AoE)**<br>  * Author notification       : **Thursday 11th November 2021 (AoE)**<br>  * Workshop                  : **Monday 17th January 2022 to<br>                                  Tuesday 18th January 2022**<br><br>Best paper award<br>----------------<br><br>PEPM 2022 continues the tradition of a Best Paper award. The winner will be<br>announced at the workshop.<br><br>Programme committee<br>-------------------<br><br>* Chairs: Zena M. Ariola (University of Oregon, US)<br>          Youyou Cong (Tokyo Institute of Technology, Japan)<br><br>* Maria Alpuente (U.P. Valencia, Spain)<br>* William J. Bowman (UBC, Canada)<br>* Jonathan Immanuel Brachthäuser (EPFL, Switzerland)<br>* William E. Byrd (University of Alabama at Birmingham, US)<br>* Robert Glück (University of Copenhagen, Denmark)<br>* Zhenjiang Hu (Peking University, China)<br>* Yukiyoshi Kameyama (University of Tsukuba, Japan)<br>* Gabriele Keller (Utrecht University, Netherlands)<br>* Julia Lawall (INRIA, France)<br>* Y. Annie Liu (Stony Brook University, US)<br>* Keiko Nakata (SAP Innovation Center Potsdam, Germany)<br>* Antonina Nepeivoda (Program Systems Institute of RAS, Russia)<br>* Zoe Paraskevopoulou (Northeastern University, US)<br>* Yann Régis-Gianas (Nomadic Labs, France)<br>* Tiark Rompf (Purdue University, US)<br>* KC Sivaramakrishnan (IIT Madras, India)<br>* Dimitrios Vytiniotis (DeepMind, UK)<br>* Beta Ziliani (FAMAF, UNC and Manas.Tech, Argentina)<br></div>