<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><br> P R E L I M I N A R Y<br><br> C A L L F O R P A P E R S<br><br> === P E P M 2013 ===<br><br> ACM SIGPLAN Workshop on <br> Partial Evaluation and Program Manipulation <br><br> <a href="http://www.program-transformation.org/PEPM13">http://www.program-transformation.org/PEPM13</a><br><br><br> January 20-21, 2013 <br> Rome, Italy<br> (Affiliated with POPL 2013)<br><br><br><br>** SUBMISSION DEADLINE: ** late September/early October (precise date<br>to be announced on the website shortly)<br><br>SCOPE<br><br>The PEPM Symposium/Workshop series aims at bringing together<br>researchers and practitioners working in the areas of program<br>manipulation, partial evaluation, and program generation. PEPM focuses<br>on techniques, theory, tools, and applications of analysis and<br>manipulation of programs.<br><br>The 2013 PEPM workshop will be based on a broad interpretation of<br>semantics-based program manipulation and continue recent years'<br>successful effort to expand the scope of PEPM significantly beyond the<br>traditionally covered areas of partial evaluation and specialization<br>and include practical applications of program transformations such as<br>refactoring tools, and practical implementation techniques such as<br>rule-based transformation systems. In addition, the scope of PEPM<br>covers manipulation and transformations of program and system<br>representations such as structural and semantic models that occur in<br>the context of model-driven development. In order to reach out to<br>practitioners, a separate category of tool demonstration papers will<br>be solicited.<br><br>Topics of interest for PEPM'13 include, but are not limited 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,<br> refactoring, decompilation, and obfuscation.<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<br> testing and test case generation.<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,<br> staged computation, and model-driven program generation and<br> transformation.<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 robust<br> tools capable of effectively handling realistic applications,<br> benchmarking. Examples of application domains include legacy program<br> understanding and transformation, DSL implementations, visual<br> languages and end-user programming, scientific computing, middleware<br> frameworks and infrastructure needed for distributed and web-based<br> applications, resource-limited computation, and security.<br><br>To maintain the dynamic and interactive nature of PEPM, we will<br>continue the category of `short papers' for tool demonstrations and<br>for presentations of exciting if not fully polished research, and of<br>interesting academic, industrial and open-source applications that are<br>new or unfamiliar.<br><br>Student attendants with accepted papers can apply for a SIGPLAN PAC<br>grant to help cover travel expenses. PAC also offers other support,<br>such as for child-care expenses during the meeting or for travel costs<br>for companions of SIGPLAN members with physical disabilities, as well<br>as for travel from locations outside of North America and Europe. For<br>details on the PAC programme, see its web page.<br><br>All accepted papers, short papers included, will appear in formal<br>proceedings published by ACM Press. In addition to printed<br>proceedings, accepted papers will be included in the ACM Digital<br>Library. Like for recent PEPMs, selected papers will be invited for a<br>journal special issue dedicated to PEPM'13.<br><br>PEPM has established a Best Paper award. The winner will be announced<br>at the workshop.<br><br>Authors must transfer copyright to ACM upon acceptance (for government<br>work, to the extent transferable), but retain various rights. Authors<br>are encouraged to publish auxiliary material with their paper (source<br>code, test data, etc.); they retain copyright of auxiliary material.<br>The SIGPLAN Republication Policy and ACM's Policy and Procedures on<br>Plagiarism apply.<br><br>SUBMISSION GUIDELINES, CATEGORIES, AND PROCEEDINGS<br><br>Regular Research Papers must not exceed 10 pages in ACM Proceedings<br>style. Tool demonstration papers must not exceed 4 pages in ACM<br>Proceedings style. At least one author of each accepted contribution<br>must attend the workshop and present the work. In the case of tool<br>demonstration papers, a live demonstration of the described tool is<br>expected. Suggested topics, evaluation criteria, and writing<br>guidelines for both research and tool demonstration papers will be <br>made available on the PEPM'13 Web-site. Papers should be submitted<br>electronically via the workshop web site. <br><br>PROGRAM CO-CHAIRS<br><br> Elvira Albert (Complutense University of Madrid, Spain)<br> Shin-Cheng Mu (Academia Sinica, Taiwan)<br><br>PEPM 2013 PROGRAM COMMITTEE<br><br><br> * Maria Alpuente (Technical University of Valencia, Spain)<br> * Kenichi Asai (Ochanomizu University, Japan)<br> * Maria Garcia de la Banda (Monash University, Australia)<br> * James R. Cordy (Queen's University, Canada)<br> * R. Kent Dybvig (Cisco and Indiana University, USA)<br> * Joao Fernandes (University of Minho, Portugal)<br> * Samir Genaim (Complutense University of Madrid, Spain)<br> * Roberto Giacobazzi (Verona University, Italy)<br> * Andy Gill (University of Kansas, USA)<br> * Jurriaan Hage (Utrecht University, Netherlands)<br> * Martin Hofmann (Ludwig-Maximilians-Universität München, Germany)<br> * Julia Lawall (INRIA, France)<br> * Yanhong Annie Liu (Stony Brook University, USA)<br> * Kazutaka Matsuda (University of Tokyo, Japan)<br> * Keisuke Nakano (University of Electro-Communications, Japan)<br> * Klaus Ostermann (University of Marburg, Germany)<br> * Sergei A. Romanenko (Russian Academy of Sciences, Russia)<br> * Jeremy Siek (University of Colorado at Boulder, USA)<br> * Walid Mohamed Taha (Halmstad University, Sweden)<br> * Tarmo Uustalu (Tallinn University of Technology, Estonia)<br> * Janis Voigtlaender (University of Bonn, Germany)<br> * Dana N. Xu (INRIA, France)<div><br></div><div><br></div></body></html>