| 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 | A semantics for lazy assertions. Olaf Chitil |
| 2011 | A walk in the semantic park. Olivier Danvy, Jacob Johannsen, Ian Zerny |
| 2011 | Adaptation-based programming in java. Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto |
| 2011 | Allocation removal by partial evaluation in a tracing JIT. Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo |
| 2011 | An embedded language for programming protocol stacks in embedded systems. Yan Wang, Verónica Gaspes |
| 2011 | Calculating tree navigation with symmetric relational zipper. Yuta Ikeda, Susumu Nishimura |
| 2011 | Calculating with lenses: optimising bidirectional transformations. Hugo Pacheco, Alcino Cunha |
| 2011 | DiaSuite: a paradigm-oriented software development approach. Charles Consel |
| 2011 | Ordering multiple continuations on the stack. Dimitrios Vardoulakis, Olin Shivers |
| 2011 | Partial evaluation of the reversible language janus. Torben Æ. Mogensen |
| 2011 | Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. Martin C. Rinard |
| 2011 | Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011 Siau-Cheng Khoo, Jeremy G. Siek |
| 2011 | Strictification of circular programs. João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer |
| 2011 | Taming code explosion in supercompilation. Peter A. Jonsson, Johan Nordlander |
| 2011 | Type classes in functional logic programming. Enrique Martin-Martin |
| 2011 | Verified resource guarantees using COSTA and KeY. Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez |
| 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 |