| 2010 | Mnemonics: type-safe bytecode generation at run time. | Johannes Rudolph, Peter Thiemann |
| 2010 | Programming with singular and plural non-deterministic functions. | Adrin Riesco, Juan Rodrguez-Hortal |
| 2010 | Bridging the gap between symbolic and efficient AES implementations. | Andrew Moss, Dan Page |
| 2010 | The SourceGraph program. | Ivan Lazar Miljenovic |
| 2010 | Optimizing generics is easy! | Jos Pedro Magalhes, Stefan Holdermans, Johan Jeuring, Andres Lh |
| 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 | Making "stricterness" more relevant. | Stefan Holdermans, Jurriaan Hage |
| 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 | Optimizing relational algebra operations using generic equivalence discriminators and lazy products. | Fritz Henglein |
| 2010 | From higher-order logic to Haskell: there and back again. | Florian Haftmann |
| 2010 | A3PAT, an approach for certified automated termination proofs. | Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest |
| 2010 | Clone detection and elimination for Haskell. | Christopher Brown, Simon J. Thompson |
| 2010 | Corrective hints for type incorrect generic Java programs. | Nabil El Boustani, Jurriaan Hage |
| 2010 | O, partial evaluator, where art thou? | Lennart Augustsson |
| 2010 | Regular approximation and bounded domains for size-change termination. | Hugh Anderson, Siau-Cheng Khoo |
| 2010 | A fold/unfold transformation framework for rewrite theories extended to CCT. | Mara Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
| 2010 | PET: a partial evaluation-based test case generation tool for Java bytecode. | Elvira Albert, Miguel Gmez-Zamalloa, Germn Puebla |
| 2009 | Linear logical approximations. | Robert J. Simmons, Frank Pfenning |
| 2009 | Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. | Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
| 2009 | Guided model checking for programs with polymorphism. | Neha Rungta, Eric G. Mercer |
| 2009 | Shortcut fusion rules for the derivation of circular and higher-order monadic programs. | Alberto Pardo, Joo Paulo Fernandes, Joo Saraiva |
| 2009 | Program interpolation. | Andrew Moss, Dan Page |
| 2009 | CProf: customizable calling context cross-profiling for embedded java processors. | Philippe Moret, Walter Binder, Alex Villazn |