@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
}
