<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=Windows-1252">
<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:DengXian;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"\@DengXian";
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@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 Haskellers,</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="mso-ligatures:none">Gabriele and I are organising PEPM this year. Over the years, PEPM has grown into a conference of general PL topics and Haskell/FP is strongly represented. We look forward to receiving your submissions.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="mso-ligatures:none">Best regards,<o:p></o:p></span></p>
<p class="MsoNormal">Gabriele Keller (Utrecht University, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">Meng Wang (University of Bristol, UK)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">----------------------------------------------------------------------------------------------------------</p>
<p class="MsoNormal">**</p>
<p class="MsoNormal">** CALL FOR PAPERS</p>
<p class="MsoNormal">**</p>
<p class="MsoNormal">** PEPM at POPL 2024</p>
<p class="MsoNormal">** Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION</p>
<p class="MsoNormal">** 16th of January 2024, London, United Kingdom</p>
<p class="MsoNormal">**</p>
<p class="MsoNormal">** Submission Deadline:</p>
<p class="MsoNormal">** 18 October 2023</p>
<p class="MsoNormal">**</p>
<p class="MsoNormal">** <a href="https://popl24.sigplan.org/home/pepm-2024">https://popl24.sigplan.org/home/pepm-2024</a></p>
<p class="MsoNormal">** <a href="https://easychair.org/conferences/?conf=pepm24">
https://easychair.org/conferences/?conf=pepm24</a></p>
<p class="MsoNormal">**</p>
<p class="MsoNormal">-----------------------------------------------------------------------------------------------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2024</p>
<p class="MsoNormal">===============================================================================</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Website : <a href="https://popl24.sigplan.org/home/pepm-2024">
https://popl24.sigplan.org/home/pepm-2024</a></p>
<p class="MsoNormal"> * Time : 16th January 2024</p>
<p class="MsoNormal"> * Place : London, United Kingdom </p>
<p class="MsoNormal"> (co-located with POPL 2024)</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The ACM SIGPLAN Workshop on Partial Evaluation and Program</p>
<p class="MsoNormal">Manipulation (PEPM) has a history going back to 1991 and has been</p>
<p class="MsoNormal">co-located with POPL every year since 2006. It originated with the</p>
<p class="MsoNormal">discoveries of useful automated techniques for evaluating</p>
<p class="MsoNormal">programs with only partial input. Over the years, the scope of PEPM</p>
<p class="MsoNormal">has expanded to include a variety of research areas centred around the</p>
<p class="MsoNormal">theme of semantics-based program manipulation — the systematic</p>
<p class="MsoNormal">exploitation of treating programs not only as subjects to black-box</p>
<p class="MsoNormal">execution but also as data structures that can be generated,</p>
<p class="MsoNormal">analysed, and transformed while establishing or maintaining important</p>
<p class="MsoNormal">semantic properties.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Scope</p>
<p class="MsoNormal">-----</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">In addition to the traditional PEPM topics (see below), PEPM 2024</p>
<p class="MsoNormal">welcomes submissions in new domains, in particular:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Semantics based and machine-learning based program synthesis and</p>
<p class="MsoNormal"> program optimisation.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Modelling, analysis, and transformation techniques for distributed</p>
<p class="MsoNormal"> and concurrent protocols and programs, such as session types,</p>
<p class="MsoNormal"> linear types, and contract specifications.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">More generally, topics of interest for PEPM 2024 include, but are not</p>
<p class="MsoNormal">limited to:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Program and model manipulation techniques such as:</p>
<p class="MsoNormal"> supercompilation, partial evaluation, fusion, on-the-fly program</p>
<p class="MsoNormal"> adaptation, active libraries, program inversion, slicing, symbolic</p>
<p class="MsoNormal"> execution, refactoring, decompilation, and obfuscation.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Techniques that treat programs/models as data objects including</p>
<p class="MsoNormal"> metaprogramming, generative programming, embedded domain-specific</p>
<p class="MsoNormal"> languages, program synthesis by sketching and inductive</p>
<p class="MsoNormal"> programming, staged computation, and model-driven program</p>
<p class="MsoNormal"> generation and transformation.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Program analysis techniques that are used to drive program/model</p>
<p class="MsoNormal"> manipulation such as: abstract interpretation, termination</p>
<p class="MsoNormal"> checking, binding-time analysis, constraint solving, type systems,</p>
<p class="MsoNormal"> automated testing and test case generation.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Application of the above techniques including case studies of</p>
<p class="MsoNormal"> program manipulation in real-world (industrial, open-source)</p>
<p class="MsoNormal"> projects and software development processes, descriptions of</p>
<p class="MsoNormal"> robust tools capable of effectively handling realistic</p>
<p class="MsoNormal"> applications, benchmarking. Examples of application domains</p>
<p class="MsoNormal"> include legacy program understanding and transformation, DSL</p>
<p class="MsoNormal"> implementations, visual languages and end-user programming,</p>
<p class="MsoNormal"> scientific computing, middleware frameworks and infrastructure</p>
<p class="MsoNormal"> needed for distributed and web-based applications, embedded and</p>
<p class="MsoNormal"> resource-limited computation, and security.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">This list of categories is not exhaustive, and we encourage</p>
<p class="MsoNormal">submissions describing new theories and applications related to</p>
<p class="MsoNormal">semantics-based program manipulation in general. If you have a</p>
<p class="MsoNormal">question as to whether a potential submission is within the scope of</p>
<p class="MsoNormal">the workshop, please contact the programme co-chairs, Gabriele Keller</p>
<p class="MsoNormal">(<a href="mailto:g.k.keller@uu.nl">g.k.keller@uu.nl</a>) and Meng Wang (<a href="mailto:meng.wang@bristol.ac.uk">meng.wang@bristol.ac.uk</a>).</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submission categories and guidelines</p>
<p class="MsoNormal">------------------------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Three kinds of submissions will be accepted:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Regular Research Papers should describe new results, and will be</p>
<p class="MsoNormal"> judged on originality, correctness, significance, and clarity.</p>
<p class="MsoNormal"> Regular research papers must not exceed 12 pages.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Short Papers may include tool demonstrations and presentations of</p>
<p class="MsoNormal"> exciting if not fully polished research, and of interesting</p>
<p class="MsoNormal"> academic, industrial, and open-source applications that are new or</p>
<p class="MsoNormal"> unfamiliar. Short papers must not exceed 6 pages.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Talk Proposals may propose lectures about topics of interest for PEPM,</p>
<p class="MsoNormal"> existing work representing relevant contributions, or promising</p>
<p class="MsoNormal"> contributions that are not mature enough to be proposed as papers of</p>
<p class="MsoNormal"> the other categories. Talk Proposals must not exceed 2 pages.</p>
<p class="MsoNormal"><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</p>
<p class="MsoNormal">may not necessarily be read by reviewers. Both kinds of submissions should
</p>
<p class="MsoNormal">be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’</p>
<p class="MsoNormal">format available at:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> <a href="http://sigplan.org/Resources/Author/">http://sigplan.org/Resources/Author/</a></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">and submitted electronically via EasyChair:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> <a href="https://easychair.org/conferences/?conf=pepm24">https://easychair.org/conferences/?conf=pepm24</a></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Reviewing will be single-blind.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submissions are welcome from PC members (except the two co-chairs).</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Accepted regular research papers will appear in formal proceedings</p>
<p class="MsoNormal">published by ACM, and be included in the ACM Digital Library.</p>
<p class="MsoNormal">Accepted short papers do not constitute formal publications and will</p>
<p class="MsoNormal">not appear in the proceedings.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">At least one author of each accepted contribution must attend the</p>
<p class="MsoNormal">workshop (physically or virtually) and present the work. In the case</p>
<p class="MsoNormal">of tool demonstration papers, a live demonstration of the described</p>
<p class="MsoNormal">tool is expected.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Important dates</p>
<p class="MsoNormal">---------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Paper submission deadline : **Wednesday 18th October 2023 (AoE)**</p>
<p class="MsoNormal"> * Author notification : **Wednesday 15th November 2023 (AoE)**</p>
<p class="MsoNormal"> * Workshop : **Tuesday 16th January 2024**</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Best paper award</p>
<p class="MsoNormal">----------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PEPM 2024 continues the tradition of a Best Paper award. The winner will be</p>
<p class="MsoNormal">announced at the workshop.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Programme committee</p>
<p class="MsoNormal">-------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Chairs: Gabriele Keller (Utrecht University, Netherlands)</p>
<p class="MsoNormal"> Meng Wang (University of Bristol, UK)</p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>