Zachary R. Anderson

12 papers A* 3A 5Misc 1Journal 1Unranked 1

Year	Rank	Type	Title / Venue / Authors
2012	A	`conf`	Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies. OOPSLA Zachary R. Anderson
2011	A	`conf`	Composable, nestable, pessimistic atomic statements. OOPSLA Zachary R. Anderson, David Gay
2011	A	`conf`	Multicore OS Benchmarks: We Can Do Better. HotOS Ihor Kuz, Zachary R. Anderson, Pravin Shinde
2010	—	`—`	Checking the Data Sharing Strategies of Concurrent Systems Level Code. Zachary R. Anderson
2009	A*	`conf`	Lightweight annotations for controlling sharing in concurrent data structures. PLDI Zachary R. Anderson, David Gay, Mayur Naik
2008	A*	`conf`	SharC: checking data sharing strategies for multithreaded C. PLDI Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer
2008	J	`jnl`	Synopsis diffusion for robust aggregation in sensor networks. ACM Trans. Sens. Networks Suman Nath, Phillip B. Gibbons, Srinivasan Seshan, Zachary R. Anderson
2007	A	`conf`	Beyond Bug-Finding: Sound Program Analysis for Linux. HotOS Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou
2007	A	`conf`	Dependent Types for Low-Level Programming. ESOP Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
2006	A*	`conf`	SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. OSDI Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer
2004	—	`conf`	Choosing beacon periods to improve response times for wireless HTTP clients. Mobility Management & Wireless Access Protocols Suman Nath, Zachary R. Anderson, Srinivasan Seshan
2004	Misc	`conf`	Synopsis diffusion for robust aggregation in sensor networks. SenSys Suman Nath, Phillip B. Gibbons, Srinivasan Seshan, Zachary R. Anderson