@inproceedings{OSDI-2002-WhitakerSG,
	author        = "Andrew Whitaker and Marianne Shaw and Steven D. Gribble",
	booktitle     = "{Proceedings of the Fifth Symposium on Operating Systems Design and Implementation}",
	doi           = "10.1145/1060289.1060308",
	ee            = "http://www.usenix.org/events/osdi02/tech/whitaker.html",
	isbn          = "978-1-4503-0111-4",
	pages         = "195--209",
	publisher     = "{USENIX Association}",
	title         = "{Scale and Performance in the Denali Isolation Kernel}",
	year          = 2002,
}