| 2006 | Automatic instruction scheduler retargeting by reverse-engineering. | Matthew J. Bridges, Neil Vachharajani, Guilherme Ottoni, David I. August |
| 2006 | DieHard: probabilistic memory safety for unsafe languages. | Emery D. Berger, Benjamin G. Zorn |
| 2006 | Shared memory programming for large scale machines. | Christopher Barton, Calin Cascaval, George Almsi, Yili Zheng, Montse Farreras, Siddhartha Chatterjee, Jos Nelson Amaral |
| 2006 | Compiler and runtime support for efficient software transactional memory. | Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, Tatiana Shpeisman |
| 2006 | An experimental analysis of self-adjusting computation. | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan |
| 2005 | Differential register allocation. | Xiaotong Zhuang, Santosh Pande |
| 2005 | A serializability violation detector for shared-memory server programs. | Min Xu, Rastislav Bodk, Mark D. Hill |
| 2005 | Programming by sketching for bit-streaming programs. | Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodk, Kemal Ebcioglu |
| 2005 | Essential language support for generic programming. | Jeremy G. Siek, Andrew Lumsdaine |
| 2005 | Register allocation for software pipelined multi-dimensional loops. | Hongbo Rong, Alban Douillet, Guang R. Gao |
| 2005 | Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices. | Carlos Garca Quiones, Carlos Madriles, F. Jess Snchez, Pedro Marcuello, Antonio Gonzlez, Dean M. Tullsen |
| 2005 | Programming ad-hoc networks of mobile and resource-constrained devices. | Yang Ni, Ulrich Kremer, Adrian Stere, Liviu Iftode |
| 2005 | Jungloid mining: helping to navigate the API jungle. | David Mandelin, Lin Xu, Rastislav Bodk, Doug Kimelman |
| 2005 | Pin: building customized program analysis tools with dynamic instrumentation. | Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood |
| 2005 | Scalable statistical bug isolation. | Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan |
| 2005 | Automatic pool allocation: improving performance by controlling data structure layout in the heap. | Chris Lattner, Vikram S. Adve |
| 2005 | Permission-based ownership: encapsulating state in higher-order typed languages. | Neelakantan R. Krishnaswami, Jonathan Aldrich |
| 2005 | Code placement for improving dynamic branch prediction accuracy. | Daniel A. Jimnez |
| 2005 | Path slicing. | Ranjit Jhala, Rupak Majumdar |
| 2005 | Garbage collection without paging. | Matthew Hertz, Yi Feng, Emery D. Berger |
| 2005 | The transactional manifesto: software engineering and non-blocking synchronization. | Maurice Herlihy |
| 2005 | DART: directed automated random testing. | Patrice Godefroid, Nils Klarlund, Koushik Sen |
| 2005 | Checking type safety of foreign function calls. | Michael Furr, Jeffrey S. Foster |
| 2005 | Formal loop merging for signal transforms. | Franz Franchetti, Yevgen Voronenko, Markus Pschel |
| 2005 | PADS: a domain-specific language for processing ad hoc data. | Kathleen Fisher, Robert Gruber |