<div dir="ltr">                           -- CALL FOR PAPERS --<br><br>ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2020<br>===============================================================================<br><br><br>  *************************<br>  *** DEADLINE EXTENDED ***<br>  *************************<br><br>  * [EXTENDED] Paper submission deadline : Friday 25th October 2019 (AoE)<br>  * [EXTENDED] Author notification       : Monday 18th November 2019 (AoE)<br>  * Workshop                             : Monday 20th and Tuesday 21st January 2020<br><br><br>* Website : <a href="https://popl20.sigplan.org/home/pepm-2020">https://popl20.sigplan.org/home/pepm-2020</a><br>* Time    : 20th - 21st January 2020<br>* Place   : New Orleans, Louisiana, United States (co-located with POPL 2020)<br><br>The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM),<br>which has a history going back to 1991 and has co-located with POPL every year<br>since 2006, originates in the discoveries of practically useful automated<br>techniques for evaluating programs with only partial input.  Over the years,<br>the scope of PEPM has expanded to include a variety of research areas centred<br>around the theme of semantics-based program manipulation — the systematic<br>exploitation of treating programs not only as subject to black-box execution,<br>but also as data structures that can be generated, analysed, and transformed<br>while establishing or maintaining important semantic properties.<br><br><br>Scope<br>-----<br><br>In addition to the traditional PEPM topics (see below), PEPM 2020 welcomes<br>submissions in new domains, in particular:<br><br>* Semantics based and machine-learning based program synthesis and program<br>  optimization.<br><br>* Modelling, analysis, and transformation techniques for distributed and<br>  concurrent protocols and programs, such as session types, linear types, and<br>  contract specifications.<br><br>More generally, topics of interest for PEPM 2020 include, but are not limited<br>to:<br><br>  * Program and model manipulation techniques such as: supercompilation,<br>    partial evaluation, fusion, on-the-fly program adaptation, active<br>    libraries, program inversion, slicing, symbolic execution, refactoring,<br>    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 programming, staged<br>    computation, and model-driven program generation and transformation.<br><br>  * Program analysis techniques that are used to drive program/model<br>    manipulation such as: abstract interpretation, termination checking,<br>    binding-time analysis, constraint solving, type systems, automated testing<br>    and test case generation.<br><br>  * Application of the above techniques including case studies of program<br>    manipulation in real-world (industrial, open-source) projects and software<br>    development processes, descriptions of robust tools capable of effectively<br>    handling realistic applications, benchmarking.  Examples of application<br>    domains include legacy program understanding and transformation, DSL<br>    implementations, visual languages and end-user programming, scientific<br>    computing, middleware frameworks and infrastructure needed for distributed<br>    and web-based applications, embedded and resource-limited computation, and<br>    security.<br><br>This list of categories is not exhaustive, and we encourage submissions<br>describing new theories and applications related to semantics-based program<br>manipulation in general.  If you have a question as to whether a potential<br>submission is within the scope of the workshop, please contact the programme<br>co-chairs, Casper Bach Poulsen (<a href="http://casperbp.net">http://casperbp.net</a>) and Zhenjiang Hu<br>(<a href="http://sei.pku.edu.cn/~hu/">http://sei.pku.edu.cn/~hu/</a>).<br><br><br>Submission categories and guidelines<br>------------------------------------<br><br>Two kinds of submissions will be accepted: Regular Research Papers and Short<br>Papers.<br><br>  * Regular Research Papers should describe new results, and will be judged on<br>    originality, correctness, significance, and clarity.  Regular research<br>    papers must not exceed 12 pages (excluding bibliography).<br><br>  * Short Papers may include tool demonstrations and presentations of exciting<br>    if not fully polished research, and of interesting academic, industrial,<br>    and open-source applications that are new or unfamiliar.  Short papers must<br>    not exceed 6 pages (excluding bibliography).<br><br>Both kinds of submissions should be typeset using the two-column ‘sigplan’<br>sub-format of the new ‘acmart’ format available at:<br><br>  <a href="http://sigplan.org/Resources/Author/">http://sigplan.org/Resources/Author/</a><br><br>and submitted electronically via HotCRP:<br><br>  <a href="https://pepm20.hotcrp.com/">https://pepm20.hotcrp.com/</a><br><br>PEPM 2020 will employ lightweight double-blind reviewing according to the rules<br>of POPL 2020.  Quoting from POPL 2020’s call for papers:<br><br>  “submitted papers must adhere to two rules:<br><br>    1. author names and institutions must be omitted, and<br><br>    2. references to authors’ own related work should be in the third person<br>       (e.g., not “We build on our previous work ...” but rather “We build on<br>       the work of ...”).<br><br>  The purpose of this process is to help the PC and external reviewers come to<br>  an initial judgment about the paper without bias, not to make it impossible<br>  for them to discover the authors if they were to try.  Nothing should be done<br>  in the name of anonymity that weakens the submission or makes the job of<br>  reviewing the paper more difficult. In particular, important background<br>  references should not be omitted or anonymized.  In addition, authors are free<br>  to disseminate their ideas or draft versions of their paper as usual.  For<br>  example, authors may post drafts of their papers on the web or give talks on<br>  their research ideas.”<br><br>See POPL 2020’s Submission and Reviewing FAQ page for more information:<br><br>  <a href="https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ">https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ</a><br><br>Submissions are welcome from PC members (except the two co-chairs).<br><br>Accepted papers will appear in formal proceedings published by ACM, and be<br>included in the ACM Digital Library.  Authors of short papers, however, can ask<br>for their papers to be left out of the formal proceedings.<br><br>At least one author of each accepted contribution must attend the workshop and<br>present the work.  In the case of tool demonstration papers, a live<br>demonstration of the described tool is expected.  Suggested topics, evaluation<br>criteria, and writing guidelines for both research tool demonstration papers<br>will be made available on the PEPM 2020 web site:<br><a href="https://popl20.sigplan.org/home/pepm-2020">https://popl20.sigplan.org/home/pepm-2020</a><br><br>Student participants with accepted papers can apply for a SIGPLAN PAC grant to<br>help cover travel expenses and other support.  PAC also offers other support,<br>such as for child-care expenses during the meeting or for travel costs for<br>companions of SIGPLAN members with physical disabilities, as well as for travel<br>from locations outside of North America and Europe.  For details on the PAC<br>programme, see its web page: <a href="https://www.sigplan.org/PAC/">https://www.sigplan.org/PAC/</a><br><br><br>Important dates<br>---------------<br><br>  * Paper submission deadline : Friday 25th October 2019 (AoE)<br>  * Author notification       : Monday 18th November 2019 (AoE)<br>  * Camera-ready version      : Monday 25th November 2019<br>  * Workshop                  : Monday 20th and Tuesday 21st January 2020<br><br>The proceedings are expected to be published 2 weeks pre-conference.<br><br>AUTHORS TAKE NOTE:  The official publication date is the date the proceedings<br>are made available in the ACM Digital Library.  This date may be up to two<br>weeks prior to the first day of your conference.  The official publication date<br>affects the deadline for any patent filings related to published work.  (For<br>those rare conferences whose proceedings are published in the ACM Digital<br>Library after the conference is over, the official publication date remains the<br>first day of the conference.)<br><br><br>Best paper award<br>----------------<br><br>PEPM 2020 continues the tradition of a Best Paper award.  The winner will be<br>announced at the workshop.<br><br><br>Invited speakers<br>----------------<br><br>* Xinyu Feng (Nanjing University)<br>* Nate Foster (Cornell University)<br><br><br>Programme committee<br>-------------------<br><br>* Andreas Abel (Chalmers U.)<br>* Guillaume Allais (U. Strathclyde)<br>* Nada Amin (Cambridge U.)<br>* Casper Bach Poulsen (co-chair) (TU Delft)<br>* Patrick Bahr (Copenhagen U.)<br>* Aggelos Biboudis (EPFL)<br>* Olivier Danvy (National U. Singapore)<br>* Álvaro García-Pérez (IMDEA)<br>* Jeremy Gibbons (Oxford U.)<br>* Robert Glück (Copenhagen U.)<br>* Torsten Grust (U. Tubingen)<br>* Zhenjiang Hu (co-chair) (Peking U./NII)<br>* Hideya Iwasaki (U. Electro-Communications)<br>* Oleg Kiselyov (Tohoku U.)<br>* Hedehiko Masuhara (Tokyo I. Technology)<br>* Keisuke Nakano (Tohoku U.)<br>* Bruno Oliveira (U. Hong Kong)<br>* Jens Palsberg (UCLA)<br>* João Saraiva (Minho U.)<br>* Tom Schrijvers (KU Leuven)<br>* Eijiro Sumii (Tohoku U.)<br>* Walid Taha (Halmstad U.)<br>* Nobuko Yoshida (Imperial C. London)<br></div>