| 2011 | Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures. | Thomas Henretty, Kevin Stock, Louis-Nol Pouchet, Franz Franchetti, J. Ramanujam, P. Sadayappan |
| 2011 | A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL. | Dominik Grewe, Michael F. P. O'Boyle |
| 2011 | SSA-Based Register Allocation with PBQP. | Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch |
| 2011 | Interpreter Instruction Scheduling. | Stefan Brunthaler |
| 2011 | Clean Translation of an Imperative Reversible Programming Language. | Holger Bock Axelsen |
| 2010 | The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. | Subhajit Roy, Y. N. Srikant |
| 2010 | Validating Register Allocation and Spilling. | Silvain Rideau, Xavier Leroy |
| 2010 | Punctual Coalescing. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2010 | Practical Extensions to the IFDS Algorithm. | Nomair A. Naeem, Ondrej Lhotk, Jonathan Rodriguez |
| 2010 | RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. | Francesco Logozzo, Herman Venter |
| 2010 | Programming Clouds. | James R. Larus |
| 2010 | Mining Opportunities for Code Improvement in a Just-In-Time Compiler. | Adam Jocksch, Marcel Mitran, Joran Siu, Nikola Grcevski, Jos Nelson Amaral |
| 2010 | Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? | Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Xipeng Shen |
| 2010 | JReq: Database Queries in Imperative Languages. | Ming-Yee Iu, Emmanuel Cecchet, Willy Zwaenepoel |
| 2010 | Strategies for Predicate-Aware Register Allocation. | Gerolf Hoflehner |
| 2010 | Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values. | Shuhan Ding, Soner nder |
| 2010 | Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs. | Andrew Craik, Wayne Kelly |
| 2010 | Optimizing Matlab through Just-In-Time Specialization. | Maxime Chevalier-Boisvert, Laurie J. Hendren, Clark Verbrugge |
| 2010 | Verifying Local Transformations on Relaxed Memory Models. | Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh |
| 2010 | Preference-Guided Register Assignment. | Matthias Braun, Christoph Mallon, Sebastian Hack |
| 2010 | The Polyhedral Model Is More Widely Applicable Than You Think. | Mohamed-Walid Benabderrahmane, Louis-Nol Pouchet, Albert Cohen, Cdric Bastoul |
| 2010 | Automatic C-to-CUDA Code Generation for Affine Programs. | Muthu Manikandan Baskaran, J. Ramanujam, P. Sadayappan |
| 2009 | A Framework for Exploring Optimization Properties. | Min Zhao, Bruce R. Childers, Mary Lou Soffa |
| 2009 | From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. | Richard Warburton, Sara Kalvala |
| 2009 | Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. | Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards |