| 2014 | A modular and generic analysis server system for functional logic programs. Michael Hanus, Fabian Skrlac |
| 2014 | An operational semantics for android activities. Étienne Payet, Fausto Spoto |
| 2014 | Automating property-based testing of evolving web services. Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco |
| 2014 | Combinators for impure yet hygienic code generation. Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2014 | Compile-time reflection and metaprogramming for Java. Weiyu Miao, Jeremy G. Siek |
| 2014 | Deriving interpretations of the gradually-typed lambda calculus. Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey |
| 2014 | Early detection of type errors in C++ templates. Sheng Chen, Martin Erwig |
| 2014 | Effective quotation: relating approaches to language-integrated query. James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler |
| 2014 | Generating attribute grammar-based bidirectional transformations from rewrite rules. Pedro Martins, João Saraiva, João Paulo Fernandes, Eric Van Wyk |
| 2014 | HIPimm: verifying granular immutability guarantees. Andreea Costea, Asankhaya Sharma, Cristina David |
| 2014 | Lazy stateless incremental evaluation machinery for attribute grammars. Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
| 2014 | Lessons from a web-based IDE and runtime. Manuel Fähndrich |
| 2014 | Monadic combinators for "Putback" style bidirectional programming. Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer |
| 2014 | Optimizing SYB is easy! Michael D. Adams, Andrew Farmer, José Pedro Magalhães |
| 2014 | Partial evaluation as universal compiler tool: experiences from the SAC Eco system. Sven-Bodo Scholz |
| 2014 | Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA Wei-Ngan Chin, Jurriaan Hage |
| 2014 | QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi |
| 2014 | Semantic bidirectionalization revisited. Meng Wang, Shayan Najd |
| 2014 | The HERMIT in the stream: fusing stream fusion's concatMap. Andrew Farmer, Christian Höner zu Siederdissen, Andy Gill |
| 2014 | Type-changing rewriting and semantics-preserving transformation. Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur |