@inproceedings {266900,
	author = {Ihor Kuz and Zachary Anderson and Pravin Shinde},
	title = {Multicore {OS} Benchmarks: We Can Do Better},
	booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)},
	year = {2011},
	address = {Napa, CA},
	url = {https://www.usenix.org/conference/hotosxiii/multicore-os-benchmarks-we-can-do-better},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {268632,
	author = {Zachary Anderson and Eric Brewer},
	title = {Beyond {Bug-Finding}: Sound Program Analysis for Linux},
	booktitle = {11th Workshop on Hot Topics in Operating Systems (HotOS XI)},
	year = {2007},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/hotos-xi/beyond-bug-finding-sound-program-analysis-linux},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {268826,
	author = {Feng Zhou and Jeremy Condit and Zachary Anderson and Ilya Bagrak and Rob Ennals and Matthew Harren and George Necula},
	title = {{SafeDrive}: Safe and Recoverable Extensions Using {Language-Based} Techniques},
	booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)},
	year = {2006},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-06/safedrive-safe-and-recoverable-extensions-using-language-based-techniques},
	publisher = {USENIX Association},
	month = nov
}
