<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">Dear all,<o:p></o:p></p>
<p class="MsoNormal">(With apologies for any duplicate copies, and for the previous message which included the wrong date!).<o:p></o:p></p>
<p class="MsoNormal">Please see the CFP for PEPM 2023 below. We have received some requests for extensions, and extended the<o:p></o:p></p>
<p class="MsoNormal">deadline to next Tuesday. Note that short papers, including tool demos, works in progress and extended abstracts,<o:p></o:p></p>
<p class="MsoNormal">are welcome too!<o:p></o:p></p>
<p class="MsoNormal">Edwin and Jens<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> -- CALL FOR PAPERS --<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2023<o:p></o:p></p>
<p class="MsoNormal">===============================================================================<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Website : https://popl23.sigplan.org/home/pepm-2023<o:p></o:p></p>
<p class="MsoNormal"> * Time : 16th--17th January 2023<o:p></o:p></p>
<p class="MsoNormal"> * Place : Boston, Massachusetts, United States <o:p></o:p></p>
<p class="MsoNormal"> (co-located with POPL 2023)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The ACM SIGPLAN Workshop on Partial Evaluation and Program<o:p></o:p></p>
<p class="MsoNormal">Manipulation (PEPM) has a history going back to 1991 and has been<o:p></o:p></p>
<p class="MsoNormal">co-located with POPL every year since 2006. It originated with the<o:p></o:p></p>
<p class="MsoNormal">discoveries of useful automated techniques for evaluating<o:p></o:p></p>
<p class="MsoNormal">programs with only partial input. Over the years, the scope of PEPM<o:p></o:p></p>
<p class="MsoNormal">has expanded to include a variety of research areas centred around the<o:p></o:p></p>
<p class="MsoNormal">theme of semantics-based program manipulation — the systematic<o:p></o:p></p>
<p class="MsoNormal">exploitation of treating programs not only as subjects to black-box<o:p></o:p></p>
<p class="MsoNormal">execution but also as data structures that can be generated,<o:p></o:p></p>
<p class="MsoNormal">analysed, and transformed while establishing or maintaining important<o:p></o:p></p>
<p class="MsoNormal">semantic properties.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Scope<o:p></o:p></p>
<p class="MsoNormal">-----<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">In addition to the traditional PEPM topics (see below), PEPM 2023<o:p></o:p></p>
<p class="MsoNormal">welcomes submissions in new domains, in particular:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Semantics based and machine-learning based program synthesis and<o:p></o:p></p>
<p class="MsoNormal"> program optimisation.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Modelling, analysis, and transformation techniques for distributed<o:p></o:p></p>
<p class="MsoNormal"> and concurrent protocols and programs, such as session types,<o:p></o:p></p>
<p class="MsoNormal"> linear types, and contract specifications.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">More generally, topics of interest for PEPM 2023 include, but are not<o:p></o:p></p>
<p class="MsoNormal">limited to:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Program and model manipulation techniques such as:<o:p></o:p></p>
<p class="MsoNormal"> supercompilation, partial evaluation, fusion, on-the-fly program<o:p></o:p></p>
<p class="MsoNormal"> adaptation, active libraries, program inversion, slicing, symbolic<o:p></o:p></p>
<p class="MsoNormal"> execution, refactoring, decompilation, and obfuscation.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Techniques that treat programs/models as data objects including<o:p></o:p></p>
<p class="MsoNormal"> metaprogramming, generative programming, embedded domain-specific<o:p></o:p></p>
<p class="MsoNormal"> languages, program synthesis by sketching and inductive<o:p></o:p></p>
<p class="MsoNormal"> programming, staged computation, and model-driven program<o:p></o:p></p>
<p class="MsoNormal"> generation and transformation.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Program analysis techniques that are used to drive program/model<o:p></o:p></p>
<p class="MsoNormal"> manipulation such as: abstract interpretation, termination<o:p></o:p></p>
<p class="MsoNormal"> checking, binding-time analysis, constraint solving, type systems,<o:p></o:p></p>
<p class="MsoNormal"> automated testing and test case generation.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Application of the above techniques including case studies of<o:p></o:p></p>
<p class="MsoNormal"> program manipulation in real-world (industrial, open-source)<o:p></o:p></p>
<p class="MsoNormal"> projects and software development processes, descriptions of<o:p></o:p></p>
<p class="MsoNormal"> robust tools capable of effectively handling realistic<o:p></o:p></p>
<p class="MsoNormal"> applications, benchmarking. Examples of application domains<o:p></o:p></p>
<p class="MsoNormal"> include legacy program understanding and transformation, DSL<o:p></o:p></p>
<p class="MsoNormal"> implementations, visual languages and end-user programming,<o:p></o:p></p>
<p class="MsoNormal"> scientific computing, middleware frameworks and infrastructure<o:p></o:p></p>
<p class="MsoNormal"> needed for distributed and web-based applications, embedded and<o:p></o:p></p>
<p class="MsoNormal"> resource-limited computation, and security.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">This list of categories is not exhaustive, and we encourage<o:p></o:p></p>
<p class="MsoNormal">submissions describing new theories and applications related to<o:p></o:p></p>
<p class="MsoNormal">semantics-based program manipulation in general. If you have a<o:p></o:p></p>
<p class="MsoNormal">question as to whether a potential submission is within the scope of<o:p></o:p></p>
<p class="MsoNormal">the workshop, please contact the programme co-chairs, Edwin Brady<o:p></o:p></p>
<p class="MsoNormal">(ecb10@st-andrews.ac.uk) and Jens Palsberg (palsberg@ucla.edu).<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submission categories and guidelines<o:p></o:p></p>
<p class="MsoNormal">------------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Two kinds of submissions will be accepted:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Regular Research Papers should describe new results, and will be<o:p></o:p></p>
<p class="MsoNormal"> judged on originality, correctness, significance, and clarity.<o:p></o:p></p>
<p class="MsoNormal"> Regular research papers must not exceed 12 pages.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Short Papers may include tool demonstrations and presentations of<o:p></o:p></p>
<p class="MsoNormal"> exciting if not fully polished research, and of interesting<o:p></o:p></p>
<p class="MsoNormal"> academic, industrial, and open-source applications that are new or<o:p></o:p></p>
<p class="MsoNormal"> unfamiliar. Short papers must not exceed 6 pages.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">References and appendices are not included in page limits. Appendices<o:p></o:p></p>
<p class="MsoNormal">may not be read by reviewers. Both kinds of submissions should be<o:p></o:p></p>
<p class="MsoNormal">typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’<o:p></o:p></p>
<p class="MsoNormal">format available at:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> http://sigplan.org/Resources/Author/<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">and submitted electronically via HotCRP:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> https://pepm23.hotcrp.com/<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Reviewing will be single-blind.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submissions are welcome from PC members (except the two co-chairs).<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Accepted regular research papers will appear in formal proceedings<o:p></o:p></p>
<p class="MsoNormal">published by ACM, and be included in the ACM Digital Library.<o:p></o:p></p>
<p class="MsoNormal">Accepted short papers do not constitute formal publications and will<o:p></o:p></p>
<p class="MsoNormal">not appear in the proceedings.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">At least one author of each accepted contribution must attend the<o:p></o:p></p>
<p class="MsoNormal">workshop (physically or virtually) and present the work. In the case<o:p></o:p></p>
<p class="MsoNormal">of tool demonstration papers, a live demonstration of the described<o:p></o:p></p>
<p class="MsoNormal">tool is expected.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Important dates<o:p></o:p></p>
<p class="MsoNormal">---------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Paper submission deadline (EXTENDED): **Tuesday 18th October 2022 (AoE)**<o:p></o:p></p>
<p class="MsoNormal"> * Author notification (EXTENDED) : **Tuesday 15th November 2022 (AoE)**<o:p></o:p></p>
<p class="MsoNormal"> * Workshop : **Monday 16th January 2023 to<o:p></o:p></p>
<p class="MsoNormal"> Tuesday 17th January 2023**<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Best paper award<o:p></o:p></p>
<p class="MsoNormal">----------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PEPM 2023 continues the tradition of a Best Paper award. The winner will be<o:p></o:p></p>
<p class="MsoNormal">announced at the workshop.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Programme committee<o:p></o:p></p>
<p class="MsoNormal">-------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Chairs: Edwin Brady (University of St Andrews, UK)<o:p></o:p></p>
<p class="MsoNormal"> Jens Palsberg (University of California Los Angeles, USA)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Nada Amin Harvard (USA)<o:p></o:p></p>
<p class="MsoNormal">* Adam Barwell (Imperial College London, UK)<o:p></o:p></p>
<p class="MsoNormal">* Nicolas Biri (Input Output Global)<o:p></o:p></p>
<p class="MsoNormal">* David Castro-Perez (University of Kent at Canterbury, UK)<o:p></o:p></p>
<p class="MsoNormal">* Cristina David (University of Bristol, UK)<o:p></o:p></p>
<p class="MsoNormal">* Atsushi Igarashi (Kyoto University, Japan)<o:p></o:p></p>
<p class="MsoNormal">* Yukiyoshi Kameyama (University of Tsukuba, Japan)<o:p></o:p></p>
<p class="MsoNormal">* Geoffrey Mainland (Drexel University, USA)<o:p></o:p></p>
<p class="MsoNormal">* Hila Peleg (Technion Israel Institute of Technology, Israel)<o:p></o:p></p>
<p class="MsoNormal">* Casper Bach Poulsen (Delft University of Technology, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">* Sukyoung Ryu (KAIST, Korea)<o:p></o:p></p>
<p class="MsoNormal">* Sven-Bodo Scholz (Radboud University Nijmegen, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">* Ilya Sergey (National University of Singapore, Singapore)<o:p></o:p></p>
<p class="MsoNormal">* Satnam Singh (Groq Inc, USA)<o:p></o:p></p>
<p class="MsoNormal">* Elena Zucca (University of Genova, Italy)<o:p></o:p></p>
</div>
</body>
</html>