Search the dblp DataBase

Publications of Author

1. Suman Nath, Zachary R. Anderson, Srinivasan Seshan
   Choosing beacon periods to improve response times for wireless HTTP clients. [Citation Graph (0, 0)][DBLP]
   Mobility Management & Wireless Access Protocols, 2004, pp:43-50 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   OSDI, 2006, pp:45-60 [Conf]
   
3. Suman Nath, Phillip B. Gibbons, Srinivasan Seshan, Zachary R. Anderson
   Synopsis diffusion for robust aggregation in sensor networks. [Citation Graph (0, 0)][DBLP]
   SenSys, 2004, pp:250-262 [Conf]
   
4. Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
   Dependent Types for Low-Level Programming. [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:520-535 [Conf]
   
5. 
   Beyond Bug-Finding: Sound Program Analysis for Linux. [Citation Graph (, )][DBLP]
   
   
6. 
   SharC: checking data sharing strategies for multithreaded C. [Citation Graph (, )][DBLP]
   
   
7. 
   Lightweight annotations for controlling sharing in concurrent data structures. [Citation Graph (, )][DBLP]