| 2009 | PetaBricks: a language and compiler for algorithmic choice. | Jason Ansel, Cy P. Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, Saman P. Amarasinghe |
| 2009 | Lightweight annotations for controlling sharing in concurrent data structures. | Zachary R. Anderson, David Gay, Mayur Naik |
| 2009 | GC assertions: using the garbage collector to check heap properties. | Edward Aftandilian, Samuel Z. Guyer |
| 2008 | Securing nonintrusive web encryption through information flow. | Lantian Zheng, Andrew C. Myers |
| 2008 | Full functional verification of linked data structures. | Karen Zee, Viktor Kuncak, Martin C. Rinard |
| 2008 | Efficient program execution indexing. | Bin Xin, William N. Sumner, Xiangyu Zhang |
| 2008 | XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. | Michal Wegiel, Chandra Krintz |
| 2008 | Conditional correlation analysis for safe region-based memory management. | Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang |
| 2008 | Deriving linearizable fine-grained concurrent objects. | Martin T. Vechev, Eran Yahav |
| 2008 | Checking race freedom via linear programming. | Tachio Terauchi |
| 2008 | Verified enforcement of stateful information release policies. | Nikhil Swamy, Michael Hicks |
| 2008 | Sketching concurrent data structures. | Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodk |
| 2008 | A security domain model to assess software for exploitable covert channels. | Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin |
| 2008 | Race directed random testing of concurrent programs. | Koushik Sen |
| 2008 | Liquid types. | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
| 2008 | Iterative optimization in the polyhedral model: part ii, multidimensional time. | Louis-Nol Pouchet, Cdric Bastoul, Albert Cohen, John Cavazos |
| 2008 | A study of concurrent real-time garbage collectors. | Filip Pizlo, Erez Petrank, Bjarne Steensgaard |
| 2008 | Register allocation by puzzle solving. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2008 | Fair stateless model checking. | Madanlal Musuvathi, Shaz Qadeer |
| 2008 | Dominator-tree analysis for distributed authorization. | Miranda Mowbray, Antonio Lain |
| 2008 | Quantitative information flow as network flow capacity. | Stephen McCamant, Michael D. Ernst |
| 2008 | Simulating midlet's security claims with automata modulo theory. | Fabio Massacci, Ida Sri Rejeki Siahaan |
| 2008 | Lagrange multipliers and maximum information leakage in different observational models. | Pasquale Malacaria, Han Chen |
| 2008 | A compiler-based infrastructure for software-protection. | Clifford Liem, Yuan Xiang Gu, Harold Johnson |
| 2008 | Orchestrating the execution of stream programs on multicore platforms. | Manjunath Kudlur, Scott A. Mahlke |