Zachary R. Anderson

According to our database, Zachary R. Anderson authored at least 11 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies.

Zachary R. Anderson

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

Composable, nestable, pessimistic atomic statements.

Zachary R. Anderson, David Gay

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Multicore OS Benchmarks: We Can Do Better.

Ihor Kuz, Zachary R. Anderson, Pravin Shinde

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010

Checking the Data Sharing Strategies of Concurrent Systems Level Code.

Zachary R. Anderson

PhD thesis, 2010

2009

Lightweight annotations for controlling sharing in concurrent data structures.

Zachary R. Anderson, David Gay, Mayur Naik

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Synopsis diffusion for robust aggregation in sensor networks.

Suman Nath, Phillip B. Gibbons, Srinivasan Seshan, Zachary R. Anderson

ACM Trans. Sens. Networks, 2008

SharC: checking data sharing strategies for multithreaded C.

Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

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

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Dependent Types for Low-Level Programming.

Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula

Proceedings of the Programming Languages and Systems, 2007

2006

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

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2004

Choosing beacon periods to improve response times for wireless HTTP clients.

Suman Nath, Zachary R. Anderson, Srinivasan Seshan

Proceedings of the Second International Workshop on Mobility Management & Wireless Access Protocols, 2004