Zachary R. Anderson

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011
Composable, nestable, pessimistic atomic statements.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Multicore OS Benchmarks: We Can Do Better.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010
Checking the Data Sharing Strategies of Concurrent Systems Level Code.
PhD thesis, 2010

2009
Lightweight annotations for controlling sharing in concurrent data structures.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008
Synopsis diffusion for robust aggregation in sensor networks.
ACM Trans. Sens. Networks, 2008

SharC: checking data sharing strategies for multithreaded C.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007
Beyond Bug-Finding: Sound Program Analysis for Linux.
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Dependent Types for Low-Level Programming.
Proceedings of the Programming Languages and Systems, 2007

2006
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.
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.
Proceedings of the Second International Workshop on Mobility Management & Wireless Access Protocols, 2004


  Loading...