| 2012 | OOPSLA | Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies. | Zachary R. Anderson |
| 2011 | HotOS | Multicore OS Benchmarks: We Can Do Better. | Ihor Kuz, Zachary R. Anderson, Pravin Shinde |
| 2011 | OOPSLA | Composable, nestable, pessimistic atomic statements. | Zachary R. Anderson, David Gay |
| 2009 | PLDI | Lightweight annotations for controlling sharing in concurrent data structures. | Zachary R. Anderson, David Gay, Mayur Naik |
| 2008 | PLDI | SharC: checking data sharing strategies for multithreaded C. | Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer |
| 2007 | ESOP | Dependent Types for Low-Level Programming. | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula |
| 2007 | HotOS | Beyond Bug-Finding: Sound Program Analysis for Linux. | Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou |
| 2006 | OSDI | SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. | Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer |
| 2004 | MOBICOM | Choosing beacon periods to improve response times for wireless HTTP clients. | Suman Nath, Zachary R. Anderson, Srinivasan Seshan |
| 2004 | SENSYS | Synopsis diffusion for robust aggregation in sensor networks. | Suman Nath, Phillip B. Gibbons, Srinivasan Seshan, Zachary R. Anderson |