| 2011 | Taming the wildcards: combining definition- and use-site variance. | John Altidor, Shan Shan Huang, Yannis Smaragdakis |
| 2010 | Bamboo: a data-centric, object-oriented approach to many-core software. | Jin Zhou, Brian Demsky |
| 2010 | A GPGPU compiler for memory optimization and parallelism management. | Yi Yang, Ping Xiang, Jingfei Kong, Huiyang Zhou |
| 2010 | Safe to the last instruction: automated verification of a type-safe operating system. | Jean Yang, Chris Hawblitzel |
| 2010 | Detecting inefficiently-used containers to avoid bloat. | Guoqing Xu, Atanas Rountev |
| 2010 | Finding low-utility data structures. | Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky |
| 2010 | A context-free markup language for semi-structured text. | Qian Xi, David Walker |
| 2010 | Mint: Java multi-stage programming using weak separability. | Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha |
| 2010 | MemSAT: checking axiomatic specifications of memory models. | Emina Torlak, Mandana Vaziri, Julian Dolby |
| 2010 | Supporting speculative parallelization in the presence of dynamic data structures. | Chen Tian, Min Feng, Rajiv Gupta |
| 2010 | Bringing extensibility to verified compilers. | Zachary Tatlock, Sorin Lerner |
| 2010 | Inferable object-oriented typed assembly language. | Ross Tate, Juan Chen, Chris Hawblitzel |
| 2010 | Z-rays: divide arrays and conquer speed and flexibility. | Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley |
| 2010 | Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. | Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry |
| 2010 | An analysis of the dynamic behavior of JavaScript programs. | Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek |
| 2010 | GUESSTIMATE: a programming model for collaborative distributed systems. | Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi |
| 2010 | Safe programmable speculative parallelism. | Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani |
| 2010 | Schism: fragmentation-tolerant real-time garbage collection. | Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek |
| 2010 | Composing parallel software efficiently with lithe. | Heidi Pan, Benjamin Hindman, Krste Asanovic |
| 2010 | Lock elision for read-only critical sections in Java. | Takuya Nakaike, Maged M. Michael |
| 2010 | Evaluating the accuracy of Java profilers. | Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
| 2010 | Resolving and exploiting the | Matthew Might, Yannis Smaragdakis, David Van Horn |
| 2010 | Class properties for security review in an object-capability subset of Java: (short paper). | Adrian Mettler, David A. Wagner |
| 2010 | DRFX: a simple and efficient memory model for concurrent programming languages. | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
| 2010 | A more precise security type system for dynamic security tests. | Gregory Malecha, Stephen Chong |