Program

ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Monday, January 20th, 2014

09:00 - 10:00 Invited Talk

Session Chair: Wei-Ngan Chin

  • Michal Moskal: Lessons from a Web-Based IDE and Runtime

10:30 - 12:00 Meta-Programming

Session Chair: Ronald Garcia

  • Yukiyoshi Kameyama, Oleg Kiselyov, Chung-Chieh Shan: Combinators for Impure yet Hygienic Code Generation
  • James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler: Effective Quotation
  • Weiyu Miao, Jeremy Siek: Compile-time Reflection and Metaprogramming for Java

14:00 - 15:25 Bidirectional Transformations

Session Chair: Tiark Rompf

  • Hugo Pacheco, Zhenjiang Hu and Sebastian Fischer: Monadic Combinators for "Putback" Style Bidirectional Programming
  • Meng Wang and Shayan Najd: Semantic Bidirectionalization Revisited
  • Pedro Martins, Joo Paulo Fernandes, Joo Saraiva and Eric Van Wyk: Generating Attribute Grammar-based Bidirectional Transformations from Rewrite Rules

16:00 - 17:00 Static Analysis and Optimization

Session Chair: Eric Van Wyk

  • Michael D. Adams, Andrew Farmer, Jose Pedro Magalhaes: Optimizing SYB is Easy!
  • Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi: QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines

Tuesday, January 21, 2014

09:00 - 10:00 Invited Talk

Session Chair: Jurriaan Hage

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

10:30 - 12:00 Program Transformation

Session Chair: Zhenjiang Hu

  • Andrew Farmer, Christian Hoener Zu Siederdissen, Andy Gill: The HERMIT in the Stream
  • Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur: Type-Changing Rewriting and Semantics-Preserving Transformation
  • Étienne Payet, Fausto Spoto: An Operational Semantics for Android Activities

14:00 - 15:30 Type Systems

Session Chair: Oleg Kiselyov

  • Sheng Chen, Martin Erwig: Early Detection of Type Errors in C++ Templates
  • Andreea Costea, Asankhaya Sharma, Cristina David: HIPimm: Verifying Granular Immutability Guarantees
  • lvaro Garca-Prez, Pablo Nogueira, Ilya Sergey: Deriving Interpretations of the Gradually-Typed Lambda Calculus.

16:00 - 17:20 Program Analysis/Testing

Session Chair: Sungwoo Park

  • Huiqing Li, Simon Thompson, Pablo Lamela Seijas, Miguel Angel Francisco: Automating Property-based Testing of Evolving Web Services
  • Michael Hanus, Fabian Skrlac: A Modular and Generic Analysis Server System for Functional Logic Programs
  • Jeroen Bransen, Atze Dijkstra, Doaitse Swierstra: Lazy Stateless Incremental Evaluation Machinery for Attribute Grammars