Zachary R. Anderson
According to our database1, Zachary R. Anderson authored at least 11 papers between 2004 and 2012.
Legend:Book In proceedings Article PhD thesis Other
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
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
Checking the Data Sharing Strategies of Concurrent Systems Level Code.
PhD thesis, 2010
Lightweight annotations for controlling sharing in concurrent data structures.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
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
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
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006
Choosing beacon periods to improve response times for wireless HTTP clients.
Proceedings of the Second International Workshop on Mobility Management & Wireless Access Protocols, 2004