@inproceedings {269498,
	author = {Andrew Whitaker and Richard S. Cox and Steven D. Gribble},
	title = {Configuration Debugging as Search: Finding the Needle in the Haystack},
	booktitle = {6th Symposium on Operating Systems Design \& Implementation (OSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/osdi-04/configuration-debugging-search-finding-needle-haystack},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {270029,
	author = {Andrew Whitaker and Richard S. Cox and Marianne Shaw},
	title = {Constructing Services with Interposable Virtual Hardware},
	booktitle = {First Symposium on Networked Systems Design and Implementation (NSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/nsdi-04/constructing-services-interposable-virtual-hardware},
	publisher = {USENIX Association},
	month = mar
}
@inproceedings {270297,
	author = {Parveen Patel and David Wetherall and Jay Lepreau and Andrew Whitaker},
	title = {{TCP} Meets Mobile Code},
	booktitle = {9th Workshop on Hot Topics in Operating Systems (HotOS IX)},
	year = {2003},
	address = {Lihue, HI},
	url = {https://www.usenix.org/conference/hotos-ix/tcp-meets-mobile-code},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {270437,
	author = {Andrew Whitaker and Marianne Shaw and Steven D. Gribble},
	title = {Scale and Performance in the Denali Isolation Kernel},
	booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)},
	year = {2002},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/osdi-02/scale-and-performance-denali-isolation-kernel},
	publisher = {USENIX Association},
	month = dec
}
