| 2016 | Kindergarten cop: dynamic nursery resizing for GHC. | Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond |
| 2016 | Heap bounds protection with low fat pointers. | Gregory J. Duck, Roland H. C. Yap |
| 2016 | Register allocation and promotion through combined instruction scheduling and loop unrolling. | Lukasz Domagala, Duco van Amstel, Fabrice Rastello, P. Sadayappan |
| 2016 | Mechanizing conventional SSA for a verified destruction with coalescing. | Delphine Demange, Yon Fernndez de Retana |
| 2016 | Extended lattice-based memory allocation. | Alain Darte, Alexandre Isoard, Tomofumi Yuki |
| 2016 | Reducing memory buffering overhead in software thread-level speculation. | Zhen Cao, Clark Verbrugge |
| 2016 | Restrictification of function arguments. | Victor Hugo Sperle Campos, Pricles Rafael Oliveira Alves, Henrique Nazar Santos, Fernando Magno Quinto Pereira |
| 2016 | Verified construction of static single assignment form. | Sebastian Buchwald, Denis Lohner, Sebastian Ullrich |
| 2016 | Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality. | Cdric Bastoul |
| 2016 | SYCO: a systematic testing tool for concurrent objects. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel |
| 2016 | Iguana: a practical data-dependent parsing framework. | Ali Afroozeh, Anastasia Izmaylova |
| 2015 | Feature-Specific Profiling. | Vincent St-Amour, Leif Andersen, Matthias Felleisen |
| 2015 | A Refactoring Library for Scala Compiler Extensions. | Amanj Sherwany, Nosheen Zaza, Nathaniel Nystrom |
| 2015 | A Graphical Model for Context-Free Grammar Parsing. | Keshav Pingali, Gianfranco Bilardi |
| 2015 | Protocols by Default - Safe MPI Code Generation Based on Session Types. | Nicholas Ng, Jos Gabriel de Figueiredo Coutinho, Nobuko Yoshida |
| 2015 | Towards a Scalable Framework for Context-Free Language Reachability. | Nicholas Hollingum, Bernhard Scholz |
| 2015 | Verifying Fast and Sparse SSA-Based Optimizations in Coq. | Delphine Demange, David Pichardie, Lo Stefanesco |
| 2015 | Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes. | Alain Darte, Alexandre Isoard |
| 2015 | Optgen: A Generator for Local Optimizations. | Sebastian Buchwald |
| 2015 | A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. | Timothy Bourke, Jean-Louis Colao, Bruno Pagano, Cdric Pasteur, Marc Pouzet |
| 2015 | Staged Points-to Analysis for Large Code Bases. | Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan |
| 2015 | Faster, Practical GLL Parsing. | Ali Afroozeh, Anastasia Izmaylova |
| 2015 | A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. | Hilmar Ackermann, Christoph Reichenbach, Christian Mller, Yannis Smaragdakis |
| 2014 | Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code. | Zheng Wang, Daniel Christopher Powell, Bjrn Franke, Michael F. P. O'Boyle |
| 2014 | Parameterized Construction of Program Representations for Sparse Dataflow Analyses. | Andr Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quinto Pereira, Fabrice Rastello |