Accepted Papers

ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
The list of accepted papers and their abstracts are shown below, in no particular order.

Regular Research Papers:

  • Meng Wang, Shayan Najd: Semantic Bidirectionalization Revisited

  • Michael D. Adams, Andrew Farmer, Jos Pedro Magalhes: Optimizing SYB is Easy!

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

  • Étienne Payet, Fausto Spoto: An Operational Semantics for Android Activities

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

  • Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur: Type-Changing Rewriting and Semantics-Preserving Transformation

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

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

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

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

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

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

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

  • lvaro Garca-Prez, Pablo Nogueira, Ilya Sergey: Deriving Interpretations of the Gradually-Typed Lambda Calculus

Short/Tool Demonstration Papers:

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

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

  • Pedro Martins, Joo Paulo Fernandes, Joo Saraiva, Eric Van Wyk: Generating attribute grammar-based bidirectional transformations from rewrite-rules