===============================================================<br> CALL FOR PAPERS<br> ACM SIGPLAN 2011 Workshop on<br> Partial Evaluation and Program Manipulation (PEPM'11)<br>
Austin, Texas, USA, January 24-25, 2011<br><br> (Affiliated with POPL'11)<br><br> <a href="http://www.program-transformation.org/PEPM11">http://www.program-transformation.org/PEPM11</a><br>
===============================================================<br><br>IMPORTANT DATES:<br><br>* Paper submission: Fri, October 15, 2010, 23:59, Apia time<br>* Author notification: Mon, November 8, 2010<br>* Camera-ready papers: Mon, November 22, 2010<br>
<br>To facilitate smooth organization of the review process, authors are<br>asked to submit a short abstract by October 10, 2010.<br><br><br>SUBMISSION CATEGORIES:<br><br>* Regular research papers (max. 10 pages in ACM Proceedings style)<br>
* Tool demonstration papers (max. 4 pages plus max. 6 pages appendix)<br><br><br>TRAVEL SUPPORT:<br><br>Students and other attendants in need can apply for a SIGPLAN PAC grant<br>to help cover expenses. For details, see <a href="http://www.sigplan.org/PAC.htm">http://www.sigplan.org/PAC.htm</a>.<br>
<br><br>SCOPE:<br><br>The PEPM Symposium/Workshop series aims to bring together researchers<br>and practitioners working in the areas of program manipulation, partial<br>evaluation, and program generation. PEPM focuses on techniques,<br>
theories, tools, and applications of analysis and manipulation of programs.<br><br>The 2011 PEPM workshop will be based on a broad interpretation of<br>semantics-based program manipulation in a continued effort to expand the<br>
scope of PEPM significantly beyond the traditionally covered areas of<br>partial evaluation and specialization and include practical applications<br>of program transformations such as refactoring tools, and practical<br>implementation techniques such as rule-based transformation systems. In<br>
addition, it covers manipulation and transformations of program and<br>system representations such as structural and semantic models that occur<br>in the context of model-driven development. In order to reach out to<br>practitioners, there is a separate category of tool demonstration papers.<br>
<br>Topics of interest for PEPM'11 include, but are not limited to:<br><br>* Program and model manipulation techniques such as transformations<br> driven by rules, patterns, or analyses, partial evaluation,<br> specialization, program inversion, program composition, slicing,<br>
symbolic execution, refactoring, aspect weaving, decompilation, and<br> obfuscation.<br><br>* Program analysis techniques that are used to drive program/model<br> manipulation such as abstract interpretation, static analysis,<br>
binding-time analysis, dynamic analysis, constraint solving, type<br> systems, automated testing and test case generation.<br><br>* Analysis and transformation for programs/models with advanced features<br> such as objects, generics, ownership types, aspects, reflection, XML<br>
type systems, component frameworks, and middleware.<br><br>* Techniques that treat programs/models as data objects including<br> meta-programming, generative programming, deep embedded<br> domain-specific languages, program synthesis by sketching and<br>
inductive programming, staged computation, and model-driven program<br> generation and transformation.<br><br>* Application of the above techniques including experimental studies,<br> engineering needed for scalability, and benchmarking. Examples of<br>
application domains include legacy program understanding and<br> transformation, DSL implementations, visual languages and end-user<br> programming, scientific computing, middleware frameworks and<br> infrastructure needed for distributed and web-based applications,<br>
resource-limited computation, and security.<br><br>We especially encourage papers that break new ground including<br>descriptions of how program/model manipulation tools can be integrated<br>into realistic software development processes, descriptions of robust<br>
tools capable of effectively handling realistic applications, and new<br>areas of application such as rapidly evolving systems, distributed and<br>web-based programming including middleware manipulation, model-driven<br>development, and on-the-fly program adaptation driven by run-time or<br>
statistical analysis.<br><br><br>PROCEEDINGS:<br><br>There will be formal proceedings published by ACM Press. In addition to<br>printed proceedings, accepted papers will be included in the ACM Digital<br>Library. Selected papers may later on be invited for a journal special<br>
issue dedicated to PEPM'11.<br><br><br>SUBMISSION GUIDELINES:<br><br>Papers should be submitted electronically via the workshop web site.<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, and authors will be expected to present a live<br>demonstration of the described tool at the workshop (tool papers should<br>include an additional appendix of up to 6 extra pages giving the<br>outline, screenshots, examples, etc. to indicate the content of the<br>
proposed live demo at the workshop).<br><br>Authors using Latex to prepare their submissions should use the new<br>improved SIGPLAN proceedings style (sigplanconf.cls, 9pt template).<br><br><br>PROGRAM CO-CHAIRS:<br><br>* Siau-Cheng Khoo (National University of Singapore, Singapore)<br>
* Jeremy G. Siek (University of Colorado at Boulder, USA)<br><br>PROGRAM COMMITTEE MEMBERS:<br><br>* Jacques Carette (McMaster University, Canada)<br>* Kung Chen (National Chengchi University, Taiwan)<br>* Evelyne Contejean (CNRS, France)<br>
* Francisco Javier Lopez Fraguas (University of Madrid, Spain)<br>* Ronald Garcia (Carnegie Mellon University, USA)<br>* Jurriaan Hage (Utrecht University, The Netherlands)<br>* Zhenjiang Hu (National Institute of Informatics, Japan)<br>
* Shan Shan Huang (Georgia Institute of Technology, USA)<br>* Yukiyoshi Kameyama (University of Tsukuba, Japan)<br>* Ralf Lammel (University of Koblenz-Landau, Germany)<br>* Michael Leuschel (University of Southampton, UK)<br>
* Andrew Moss (University of Bristol, UK)<br>* Maurizio Proietti (CNR, Italy)<br>* Peter Sestoft (IT University of Copenhagen, Denmark)<br>* Chung-chieh Shan (Rutgers, USA)<br>* Scott Stoller (Stony Brook University, USA)<br>
* Peter Thiemann (Universitat Freiburg, Germany)<br>* Simon Thompson (Kent University, UK)<br>* German Vidal (Universidad Politecnica de Valencia, Spain)<br>* Edwin Westbrook (Rice University, USA) <br><br><br><br clear="all">
<br>-- <br>____________________________________<br>Jeremy Siek <<a href="mailto:jeremy.siek@colorado.edu">jeremy.siek@colorado.edu</a>><br><a href="http://ecee.colorado.edu/~siek/">http://ecee.colorado.edu/~siek/</a><br>
Assistant Professor<br>Dept. of Electrical, Computer, and Energy Engineering<br>University of Colorado at Boulder<br><br>