| 2010 | A fold/unfold transformation framework for rewrite theories extended to CCT. María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
| 2010 | A3PAT, an approach for certified automated termination proofs. Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest |
| 2010 | Bridging the gap between symbolic and efficient AES implementations. Andrew Moss, Dan Page |
| 2010 | Clone detection and elimination for Haskell. Christopher Brown, Simon J. Thompson |
| 2010 | Conditional weighted pushdown systems and applications. Xin Li, Mizuhito Ogawa |
| 2010 | Context-sensitive analysis of obfuscated x86 executables. Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero |
| 2010 | Corrective hints for type incorrect generic Java programs. Nabil El Boustani, Jurriaan Hage |
| 2010 | From higher-order logic to Haskell: there and back again. Florian Haftmann |
| 2010 | General purpose languages should be metalanguages. Jeremy G. Siek |
| 2010 | I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. Martin Hofmann, Emanuel Kitzelmann |
| 2010 | IGOR2 - an analytical inductive functional programming system: tool demo. Martin Hofmann |
| 2010 | Making "stricterness" more relevant. Stefan Holdermans, Jurriaan Hage |
| 2010 | Mnemonics: type-safe bytecode generation at run time. Johannes Rudolph, Peter Thiemann |
| 2010 | O, partial evaluator, where art thou? Lennart Augustsson |
| 2010 | Optimizing generics is easy! José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh |
| 2010 | Optimizing relational algebra operations using generic equivalence discriminators and lazy products. Fritz Henglein |
| 2010 | PET: a partial evaluation-based test case generation tool for Java bytecode. Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
| 2010 | Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010 John P. Gallagher, Janis Voigtländer |
| 2010 | Programming with singular and plural non-deterministic functions. Adrián Riesco, Juan Rodríguez-Hortalá |
| 2010 | Regular approximation and bounded domains for size-change termination. Hugh Anderson, Siau-Cheng Khoo |
| 2010 | The SourceGraph program. Ivan Lazar Miljenovic |