| 2014 | Monadic combinators for "Putback" style bidirectional programming. | Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer |
| 2014 | Compile-time reflection and metaprogramming for Java. | Weiyu Miao, Jeremy G. Siek |
| 2014 | Generating attribute grammar-based bidirectional transformations from rewrite rules. | Pedro Martins, Joo Saraiva, Joo Paulo Fernandes, Eric Van Wyk |
| 2014 | Automating property-based testing of evolving web services. | Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco |
| 2014 | Type-changing rewriting and semantics-preserving transformation. | Sean Leather, Johan Jeuring, Andres Lh, Bram Schuur |
| 2014 | QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. | Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi |
| 2014 | Combinators for impure yet hygienic code generation. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2014 | A modular and generic analysis server system for functional logic programs. | Michael Hanus, Fabian Skrlac |
| 2014 | Deriving interpretations of the gradually-typed lambda calculus. | lvaro Garca-Prez, Pablo Nogueira, Ilya Sergey |
| 2014 | The HERMIT in the stream: fusing stream fusion's concatMap. | Andrew Farmer, Christian Hner zu Siederdissen, Andy Gill |
| 2014 | Lessons from a web-based IDE and runtime. | Manuel Fhndrich |
| 2014 | HIPimm: verifying granular immutability guarantees. | Andreea Costea, Asankhaya Sharma, Cristina David |
| 2014 | Effective quotation: relating approaches to language-integrated query. | James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler |
| 2014 | Lazy stateless incremental evaluation machinery for attribute grammars. | Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
| 2014 | Optimizing SYB is easy! | Michael D. Adams, Andrew Farmer, Jos Pedro Magalhes |
| 2014 | Early detection of type errors in C++ templates. | Sheng Chen, Martin Erwig |
| 2013 | Security type error diagnosis for higher-order, polymorphic languages. | Jeroen Weijers, Jurriaan Hage, Stefan Holdermans |
| 2013 | Partially static operations. | Peter Thiemann |
| 2013 | Constraint-based locality analysis for X10 programs. | Qiang Sun, Yuting Chen, Jianjun Zhao |
| 2013 | Traceability and evidence of correctness of EDSL abstractions. | Martin Sulzmann, Jrgen Nicklisch-Franken, Axel Zechner |
| 2013 | Deriving a complete type inference for hindley-milner and vector sizes using expansion. | Axel Simon |
| 2013 | A meta-circular language for active libraries. | Marco Servetto, Elena Zucca |
| 2013 | Towards a scalable software model checker for higher-order programs. | Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi |
| 2013 | Precise explanation of success typing errors. | Konstantinos Sagonas, Josep Silva, Salvador Tamarit |
| 2013 | Abstract syntax graphs for domain specific languages. | Bruno C. d. S. Oliveira, Andres Lh |