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*