Publications by Zachary R. Anderson

@techreport{abc,
	author = {Simon Peter and Andrew Baumann and Zachary R. Anderson and Timothy Roscoe},
	title = {Gang scheduling isn\&$\#$146;t worth it. . . yet},
	year = {2011}
}

@inproceedings{abc,
	abstract = {Current multicore OS benchmarks do not provide
workloads that sufficiently reflect real-world use: they
typically run a single application, whereas real workloads
consist of multiple concurrent programs. In this
paper we show that this lack of mixed workloads leads
to benchmarks that do not fully exercise the OS and
are therefore inadequate at predicting real-world behavior.
This implies that effective multicore OS benchmarks
must include mixed workloads, but the main design challenge
is choosing an appropriate mix. We present a principled
approach which treats benchmark design as an optimization
problem. Our solution leads to a workload
mix that uses as much of a system\&$\#$146;s resources as possible,
while also selecting applications whose performance
is most sensitive to the availability of those resources.},
	author = {Ihor Kuz and Zachary R. Anderson and Pravin Shinde and Timothy Roscoe},
	booktitle = {Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS 2011), Napa, CA, USA},
	title = {Multicore OS benchmarks: we can do better},
	year = {2011}
}

@inproceedings{abc,
	author = {Zachary R. Anderson and David Gay},
	booktitle = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications OOPLSA 2011, Portland Oregon, USA, Oct. 22-27,2011. },
	title = {Composable, Nestable, Pessimistic Atomic Statements},
	year = {2011}
}

@inproceedings{abc,
	author = {Zachary R. Anderson and David Gay and Mayur Naik},
	booktitle = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland},
	title = {Lightweight annotations for controlling sharing in concurrent data structures.},
	url = {http://doi.acm.org/10.1145/1542476.1542488},
	year = {2009}
}

@inproceedings{abc,
	author = {Zachary R. Anderson and David Gay and Robert Ennals and Eric A. Brewer},
	booktitle = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA},
	title = {SharC: checking data sharing strategies for multithreaded C.},
	url = {http://doi.acm.org/10.1145/1375581.1375600},
	year = {2008}
}

@inproceedings{abc,
	author = {Suman Nath and Phillip B. Gibbons and Srinivasan Seshan and Zachary R. Anderson},
	booktitle = {TOSN},
	title = {Synopsis diffusion for robust aggregation in sensor networks.},
	url = {http://doi.acm.org/10.1145/1340771.1340773},
	year = {2008}
}

@inproceedings{abc,
	author = {Zachary R. Anderson and Eric A. Brewer and Jeremy Condit and Robert Ennals and David Gay and Matthew Harren and George C. Necula and Feng Zhou},
	booktitle = {Proceedings of HotOS{\textquoteright}07: 11th Workshop on Hot Topics in Operating Systems},
	title = {Beyond Bug-Finding: Sound Program Analysis for Linux.},
	url = {http://www.usenix.org/events/hotos07/tech/full_papers/anderson/anderson.pdf},
	venue = {San Diego, California, USA},
	year = {2007}
}

@inproceedings{abc,
	author = {Jeremy Condit and Matthew Harren and Zachary R. Anderson and David Gay and George C. Necula},
	booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal},
	title = {Dependent Types for Low-Level Programming.},
	url = {http://dx.doi.org/10.1007/978-3-540-71316-6_35},
	year = {2007}
}

@inproceedings{abc,
	author = {Feng Zhou and Jeremy Condit and Zachary R. Anderson and Ilya Bagrak and Robert Ennals and Matthew Harren and George C. Necula and Eric A. Brewer},
	booktitle = {7th Symposium on Operating Systems Design and Implementation (OSDI {\textquoteright}06)},
	title = {SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.},
	url = {http://www.usenix.org/events/osdi06/tech/zhou.html},
	venue = {Seattle, WA, USA},
	year = {2006}
}

@inproceedings{abc,
	author = {Suman Nath and Zachary R. Anderson and Srinivasan Seshan},
	booktitle = {Proceedings of the Second International Workshop on Mobility Management  Wireless Access Protocols, 2004, Philadelphia, PA, USA},
	title = {Choosing beacon periods to improve response times for wireless HTTP clients.},
	url = {http://doi.acm.org/10.1145/1023783.1023792},
	year = {2004}
}

@inproceedings{abc,
	author = {Suman Nath and Phillip B. Gibbons and Srinivasan Seshan and Zachary R. Anderson},
	booktitle = {Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, SenSys 2004, Baltimore, MD, USA},
	title = {Synopsis diffusion for robust aggregation in sensor networks.},
	url = {http://doi.acm.org/10.1145/1031495.1031525},
	year = {2004}
}