Choosing beacon periods to improve response times for wireless HTTP clients. - Suman Nath; Zachary R. Anderson; Srinivasan Seshan (Mobility Management & Wireless Access Protocols, 2004)

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 (OSDI, 2006)

Dependent Types for Low-Level Programming. - Jeremy Condit; Matthew Harren; Zachary R. Anderson; David Gay; George C. Necula (ESOP, 2007)

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 (HotOS, 2007)

SharC: checking data sharing strategies for multithreaded C. - Zachary R. Anderson; David Gay; Robert Ennals; Eric A. Brewer (PLDI, 2008)

Synopsis diffusion for robust aggregation in sensor networks. - Suman Nath; Phillip B. Gibbons; Srinivasan Seshan; Zachary R. Anderson (ACM Trans. Sens. Networks, 2008)

Lightweight annotations for controlling sharing in concurrent data structures. - Zachary R. Anderson; David Gay; Mayur Naik (PLDI, 2009)

Checking the Data Sharing Strategies of Concurrent Systems Level Code. - Zachary R. Anderson (2010)

Multicore OS Benchmarks: We Can Do Better. - Ihor Kuz; Zachary R. Anderson; Pravin Shinde (HotOS, 2011)

Composable, nestable, pessimistic atomic statements. - Zachary R. Anderson; David Gay (OOPSLA, 2011)

Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies. - Zachary R. Anderson (OOPSLA, 2012)