@inproceedings{OSDI-2006-ZhouCABEHNB,
	author        = "Feng Zhou and Jeremy Condit and Zachary R. Anderson and Ilya Bagrak and Robert Ennals and Matthew Harren and George C. Necula and Eric A. Brewer",
	booktitle     = "{Proceedings of the Seventh Symposium on Operating Systems Design and Implementation}",
	ee            = "http://www.usenix.org/events/osdi06/tech/zhou.html",
	isbn          = "1-931971-47-1",
	pages         = "45--60",
	publisher     = "{USENIX Association}",
	title         = "{SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques}",
	year          = 2006,
}