@inproceedings {267928,
	author = {Dan Williams and Patrick Reynolds and Kevin Walsh and Emin Gun Sirer and Fred B. Schneider},
	title = {Device Driver Safety Through a Reference Validation Mechanism},
	booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)},
	year = {2008},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/osdi-08/device-driver-safety-through-reference-validation-mechanism},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {269028,
	author = {Patrick Reynolds and Charles Killian and Janet L. Wiener and Jeffrey C. Mogul and Mehul A. Shah},
	title = {Pip: Detecting the Unexpected in Distributed Systems },
	booktitle = {3rd Symposium on Networked Systems Design \& Implementation (NSDI 06)},
	year = {2006},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/nsdi-06/pip-detecting-unexpected-distributed-systems},
	publisher = {USENIX Association},
	month = may
}
