<html xmlns:v="urn:schemas-microsoft-com:vml" 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=iso-8859-1">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<style><!--
/* Font Definitions */
@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;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
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><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal" style="text-autospace:none">Dear All, <o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Apologies if you receive multiple copies of this message.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">CALL FOR POSTERS<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM 2017 information: http://conf.researchr.org/home/PEPM-2017<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Submissions: https://pepm17.hotcrp.com/<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Paris, France, January 16th - 17th, 2017<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">(co-located with POPL 2017)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM is the premier forum for discussion of semantics-based program<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">manipulation. The first ACM SIGPLAN PEPM symposium took place in<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">1991, and meetings have been held in affiliation with POPL every year<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">since 2006. PEPM 2017 will be based on a broad interpretation of<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">semantics-based program manipulation, reflecting the expanded scope of<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM in recent years beyond the traditionally covered areas of partial<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">evaluation and specialization.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Posters<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">-------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">In order to maintain the dynamic and interactive nature of PEPM, we<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">solicit submission of posters. Poster submissions are 2-page articles<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">in ACM Proceedings style that present preliminary work (see<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">"Submission guidelines" below for more details). If accepted, the<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">work will be presented as part of an interactive poster session at<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Scope<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">-----<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Topics of interest for PEPM 2017 include, but are not limited to:<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Program and model manipulation techniques such as: supercompilation,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> partial evaluation, fusion, on-the-fly program adaptation, active<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> libraries, program inversion, slicing, symbolic execution,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> refactoring, decompilation, and obfuscation.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Program analysis techniques that are used to drive program/model<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> manipulation such as: abstract interpretation, termination checking,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> binding-time analysis, constraint solving, type systems, automated<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> testing and test case generation.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Techniques that treat programs/models as data objects including<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> metaprogramming, generative programming, embedded domain-specific<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> languages, program synthesis by sketching and inductive programming,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> staged computation, and model-driven program generation and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> transformation.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Application of the above techniques including case studies of<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> program manipulation in real-world (industrial, open-source)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> projects and software development processes, descriptions of robust<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> tools capable of effectively handling realistic applications,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> benchmarking. Examples of application domains include legacy<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> program understanding and transformation, DSL implementations,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> visual languages and end-user programming, scientific computing,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> middleware frameworks and infrastructure needed for distributed and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> web-based applications, embedded and resource-limited computation,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> and security.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">This list of categories is not exhaustive, and we encourage<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">submissions describing applications of semantics-based program<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="FR">manipulation techniques in new domains.
</span>If you have a question as to<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">whether a potential submission is within the scope of the workshop,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">please contact the programme chairs.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Submission guidelines<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">---------------------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Posters should describe work relevant to the PEPM community, and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> must not exceed 2 pages in ACM Proceedings style. We invite poster<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> submissions that present early work not yet ready for submission to<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> a conference or journal, identify new research problems, showcase<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> tools and technologies developed by the author(s), or describe<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> student research projects.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">If accepted, the work will be presented as part of an interactive<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">poster session at PEPM. At least one author of each accepted<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">contribution must attend the workshop and present the work.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Student participants with accepted poster papers can apply for a<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">SIGPLAN PAC grant to help cover travel expenses and other support.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">PAC also offers other support, such as for child-care expenses during<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">the meeting or for travel costs for companions of SIGPLAN members with<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">physical disabilities, as well as for travel from locations outside of<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">North America and Europe. For details on the PAC programme, see its<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">web page.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Publication<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">-----------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Posters will appear along with accepted papers in formal proceedings<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">published by ACM Press and in the ACM Digital Library.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Keynote<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">-------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Neil Jones (DIKU) will give the PEPM keynote talk, titled<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none"> Compiling Untyped Lambda Calculus to Lower-level Code<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> by Game Semantics and Partial Evaluation<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Submission<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">----------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Posters should be submitted electronically via HotCRP.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none"> https://pepm17.hotcrp.com/<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Authors using LaTeX to prepare their submissions should use the new<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">improved SIGPLAN proceedings style, and specifically the<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="FR">sigplanconf.cls 9pt template.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="FR"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="FR">Important Dates<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none">---------------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Poster submission : Tuesday 8th November 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Author notification : Friday 18th November 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Camera ready : Monday 28th November 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Workshop : Monday 16th - Tuesday 17th January 2017<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">The proceedings will be published 2 weeks pre-conference.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">AUTHORS TAKE NOTE: The official publication date is the date the<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">proceedings are made available in the ACM Digital Library. This date<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">may be up to two weeks prior to the first day of your conference. The<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">official publication date affects the deadline for any patent filings<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">related to published work. (For those rare conferences whose<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">proceedings are published in the ACM Digital Library after the<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">conference is over, the official publication date remains the first<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">day of the conference.).<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM'17 Programme Committee<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">---------------------------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Elvira Albert (Complutense University of Madrid, Spain)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Don Batory (University of Texas at Austin, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Martin Berger (University of Sussex, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Sebastian Erdweg (TU Delft, Netherlands)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Andrew Farmer (Facebook, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Matthew Flatt (University of Utah, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">John Gallagher (Roskilde University, Denmark)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="DE">Robert Glück (DIKU, Denmark)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="DE">Jurriaan Hage (Utrecht University, Netherlands)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none">Zhenjiang Hu (National Institute of Informatics, Japan)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Yukiyoshi Kameyama (University of Tsukuba, Japan)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Ilya Klyuchnikov (Facebook, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Huiqing Li (EE, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Annie Liu (Stony Brook University, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="DE">Markus Püschel (ETH Zurich, Switzerland)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none">Ryosuke SATO (University of Tokyo, Japan)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Sven-Bodo Scholz (Heriot-Watt University, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Ulrik Schultz (co-chair) (University of Southern Denmark)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Ilya Sergey (University College London, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Chung-chieh Shan (Indiana University, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="DE">Tijs van der Storm (Centrum Wiskunde & Informatica, Netherlands)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none">Jeremy Yallop (co-chair) (University of Cambridge, UK)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Regards,<o:p></o:p></p>
<p class="MsoNormal">Huiqing<o:p></o:p></p>
</div>
<P>NOTICE AND DISCLAIMER<BR>This email contains BT information, which may be
privileged or confidential. It's meant only for the individual(s) or entity
named above. <BR>If you're not the intended recipient, note that disclosing,
copying, distributing or using this information is prohibited. <BR>If you've
received this email in error, please let me know immediately on the email
address above. Thank you.</P>
<P>We monitor our email system, and may record your emails.</P>
<P>EE Limited <BR>Registered office:Trident Place, Mosquito Way, Hatfield,
Hertfordshire, AL10 9BW<BR>Registered in England no: 02382161</P>
<P>EE Limited is a wholly owned subsidiary of:</P>
<P>British Telecommunications plc<BR>Registered office: 81 Newgate Street London
EC1A 7AJ<BR>Registered in England no: 1800000</P>
</body>
</html>