ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM14

January 20-21, 2014 San Diego, CA, USA (Affiliated with POPL 2014)

CALL FOR PARTICIPATION

IMPORTANT DATES

* Hotel reservation deadline: December 21, 2013 * Early registration deadline: December 31, 2013

VENUE

PEPM'14 and all POPL'14 affiliated events will take place at the US Grant in San Diego, CA, USA.

SCOPE

The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs.

INVITED TALKS:

* Manuel Fahndrich (Microsoft Research, USA) on Lessons from a Web-Based IDE and Runtime

* Sven-Bodo Scholz (Heriott-Watt University, Scotland) on Partial Evaluation as Universal Compiler Tool (experiences from the SAC eco system)

PROGRAM CHAIRS

Wei Ngan Chin (National University of Singapore, Singapore) Jurriaan Hage (Utrecht University, Netherlands)

PROGRAM COMMITTEE

Evelyne Contejean (LRI, CNRS, Université Paris-Sud, France) Cristina David (University of Oxford, UK) Alain Frisch (LexiFi, France) Ronald Garcia (University of British Columbia, Canada) Zhenjiang Hu (National Institute of Informatics, Japan) Paul H J Kelly (Imperial College, UK) Oleg Kiselyov (Monterey, USA) Naoki Kobayashi (University of Tokyo, Japan) Jens Krinke (University College London, UK) Ryan Newton (University of Indiana, USA) Alberto Pardo (Universidad de la República, Uruguay) Sungwoo Park (Pohang University of Science and Technology, South Korea) Tiark Rompf (Oracle Labs & EPFL, Switzerland) Sukyoung Ryu (KAIST, South Korea) Kostis Sagonas (Uppsala University, Sweden) Max Schaefer (Nanyang Technological University, Singapore) Harald Søndergaard (The University of Melbourne, Australia) Eijiro Sumii (Tohoku University, Japan) Eric Van Wyk (University of Minnesota, USA) Jeremy Yallop (University of Cambridge, UK)

PRELIMINARY PROGRAM

DAY 1: Monday, January 20th, 2014 ==================================

09:00 - 10:00 Invited Talk ===========================

Lessons from a Web-Based IDE and Runtime Manuel Fahndrich

10:30 - 12:00 Meta-Programming -------------------------------

Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama, Oleg Kiselyov, Chung-Chieh Shan

Effective Quotation James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler

Compile-time Reflection and Metaprogramming for Java Weiyu Miao, Jeremy Siek

14:00 - 15:25 Bidirectional Transformations --------------------------------------------

Monadic Combinators for "Putback" Style Bidirectional Programming Hugo Pacheco, Zhenjiang Hu and Sebastian Fischer

Semantic Bidirectionalization Revisited Meng Wang and Shayan Najd

Generating Attribute Grammar-based Bidirectional Transformations from Rewrite Rules Pedro Martins, Joao Paulo Fernandes, Joao Saraiva and Eric Van Wyk

16:00 - 17:00 Static Analysis and Optimization -----------------------------------------------

Optimizing SYB is Easy! Michael D. Adams, Andrew Farmer, Jose Pedro Magalhaes:

QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi

================================= DAY 2: Tuesday, January 21, 2014 =================================

09:00 - 10:00 Invited Talk ---------------------------

Partial Evaluation as Universal Compiler Tool (experiences from the SAC eco system) Sven-Bodo Scholz

10:30 - 12:00 Program Transformation --------------------------------------

The HERMIT in the Stream Andrew Farmer, Christian Hoener Zu Siederdissen, Andy Gill

Type-Changing Rewriting and Semantics-Preserving Transformation Sean Leather, Johan Jeuring, Andres Loeh, Bram Schuur

An Operational Semantics for Android Activities Etienne Payet, Fausto Spoto

14:00 - 15:30 Type Systems ----------------------------

Early Detection of Type Errors in C++ Templates Sheng Chen, Martin Erwig

Lazy Stateless Incremental Evaluation Machinery for Attribute Grammars Jeroen Bransen, Atze Dijkstra, Doaitse Swierstra

Deriving Interpretations of the Gradually-Typed Lambda Calculus. Alvaro Garcia-Perez, Pablo Nogueira, Ilya Sergey

16:00 - 17:20 Program Analysis/Testing ----------------------------------------

Automating Property-based Testing of Evolving Web Services Huiqing Li, Simon Thompson, Pablo Lamela Seijas, Miguel Angel Francisco

A Modular and Generic Analysis Server System for Functional Logic Programs Michael Hanus, Fabian Skrlac

HIPimm: Verifying Granular Immutability Guarantees Andreea Costea, Asankhaya Sharma, Cristina David