2008 |
6 | EE | Zachary R. Anderson,
David Gay,
Robert Ennals,
Eric A. Brewer:
SharC: checking data sharing strategies for multithreaded C.
PLDI 2008: 149-158 |
5 | EE | Suman Nath,
Phillip B. Gibbons,
Srinivasan Seshan,
Zachary R. Anderson:
Synopsis diffusion for robust aggregation in sensor networks.
TOSN 4(2): (2008) |
2007 |
4 | EE | Jeremy Condit,
Matthew Harren,
Zachary R. Anderson,
David Gay,
George C. Necula:
Dependent Types for Low-Level Programming.
ESOP 2007: 520-535 |
2006 |
3 | EE | Feng Zhou,
Jeremy Condit,
Zachary R. Anderson,
Ilya Bagrak,
Robert Ennals,
Matthew Harren,
George C. Necula,
Eric A. Brewer:
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.
OSDI 2006: 45-60 |
2004 |
2 | EE | Suman Nath,
Zachary R. Anderson,
Srinivasan Seshan:
Choosing beacon periods to improve response times for wireless HTTP clients.
Mobility Management & Wireless Access Protocols 2004: 43-50 |
1 | EE | Suman Nath,
Phillip B. Gibbons,
Srinivasan Seshan,
Zachary R. Anderson:
Synopsis diffusion for robust aggregation in sensor networks.
SenSys 2004: 250-262 |