| 2012 | Program analysis and transformation for holistic optimization of database applications. | Karthik Ramachandra, Ravindra Guravannavar, S. Sudarshan |
| 2011 | Composable asynchronous events. | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
| 2011 | An SSA-based algorithm for optimal speculative code motion under an execution profile. | Hucheng Zhou, Wenguang Chen, Fred C. Chow |
| 2011 | Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures. | Qiang Zeng, Dinghao Wu, Peng Liu |
| 2011 | Finding and understanding bugs in C compilers. | Xuejun Yang, Yang Chen, Eric Eide, John Regehr |
| 2011 | LeakChaser: helping programmers narrow down causes of memory leaks. | Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev |
| 2011 | How to fit program footprint curves. | Xiaoya Xiang, Bin Bao |
| 2011 | Data-race exceptions have benefits beyond the memory model. | Benjamin P. Wood, Luis Ceze, Dan Grossman |
| 2011 | There is nothing wrong with out-of-thin-air: compiler optimization and memory models. | Clark Verbrugge, Allan Kielstra, Yi Zhang |
| 2011 | ALTER: exploiting breakable dependences for parallelization. | Abhishek Udupa, Kaushik Rajan, William Thies |
| 2011 | Evaluating value-graph translation validation for LLVM. | Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett |
| 2011 | Languages as libraries. | Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen |
| 2011 | Taming wildcards in Java's type system. | Ross Tate, Alan Leung, Sorin Lerner |
| 2011 | Path-based inductive synthesis for program inversion. | Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
| 2011 | A security policy oracle: detecting security holes using multiple API implementations. | Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov |
| 2011 | SAFERPHP: finding semantic vulnerabilities in PHP applications. | Sooel Son, Vitaly Shmatikov |
| 2011 | Safe optimisations for shared-memory concurrent programs. | Jaroslav Sevck |
| 2011 | Automatic parallelization via matrix multiplication. | Shigeyuki Sato, Hideya Iwasaki |
| 2011 | Understanding POWER multiprocessors. | Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams |
| 2011 | EnerJ: approximate data types for safe and general low-power computation. | Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman |
| 2011 | The impact of diverse memory architectures on multicore consumer software: an industrial perspective from the video games domain. | George Russell, Colin Riley, Neil Henning, Uwe Dolinsky, Andrew Richards, Alastair F. Donaldson, Alexander S. van Amesfoort |
| 2011 | Parallelism orchestration using DoPE: the degree of parallelism executive. | Arun Raman, Hanjun Kim, Taewook Oh, Jae W. Lee, David I. August |
| 2011 | Limiting information leakage in event-based communication. | Willard Rafnsson, Andrei Sabelfeld |
| 2011 | A programming model for deterministic task parallelism. | Polyvios Pratikakis, Hans Vandierendonck, Spyros Lyberis, Dimitrios S. Nikolopoulos |
| 2011 | Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors. | Ashwin Prasad, Jayvant Anantpur, R. Govindarajan |