| 2012 | Obfuscation by partial evaluation of distorted interpreters. | Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni |
| 2012 | The interaction of contracts and laziness. | Markus Degen, Peter Thiemann, Stefan Wehr |
| 2012 | Towards typing for small-step direct reflection. | Jacques Carette, Aaron Stump |
| 2012 | Specification and verification of meta-programs. | Martin Berger |
| 2012 | Incremental resource usage analysis. | Elvira Albert, Jess Correas, Germn Puebla, Guillermo Romn-Dez |
| 2012 | COSTABS: a cost and termination analyzer for ABS. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla |
| 2011 | An embedded language for programming protocol stacks in embedded systems. | Yan Wang, Vernica Gaspes |
| 2011 | Ordering multiple continuations on the stack. | Dimitrios Vardoulakis, Olin Shivers |
| 2011 | Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. | Martin C. Rinard |
| 2011 | iTasks for a change: type-safe run-time change in dynamically evolving workflows. | Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen |
| 2011 | Calculating with lenses: optimising bidirectional transformations. | Hugo Pacheco, Alcino Cunha |
| 2011 | Partial evaluation of the reversible language janus. | Torben . Mogensen |
| 2011 | Type classes in functional logic programming. | Enrique Martin-Martin |
| 2011 | Taming code explosion in supercompilation. | Peter A. Jonsson, Johan Nordlander |
| 2011 | Calculating tree navigation with symmetric relational zipper. | Yuta Ikeda, Susumu Nishimura |
| 2011 | Strictification of circular programs. | Joo Paulo Fernandes, Joo Saraiva, Daniel Seidel, Janis Voigtlnder |
| 2011 | A walk in the semantic park. | Olivier Danvy, Jacob Johannsen, Ian Zerny |
| 2011 | DiaSuite: a paradigm-oriented software development approach. | Charles Consel |
| 2011 | A semantics for lazy assertions. | Olaf Chitil |
| 2011 | A generative geometric kernel. | Jacques Carette, Mustafa Elsheikh, W. Spencer Smith |
| 2011 | A program transformation for returning states in functional-logic programs. | Rafael Caballero |
| 2011 | Allocation removal by partial evaluation in a tracing JIT. | Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo |
| 2011 | Adaptation-based programming in java. | Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto |
| 2011 | Verified resource guarantees using COSTA and KeY. | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Germn Puebla, Guillermo Romn-Dez |
| 2010 | General purpose languages should be metalanguages. | Jeremy G. Siek |