Feng Zhou Jeremy Condit Zachary R. Anderson Ilya Bagrak Robert Ennals Matthew Harren George C. Necula Eric A. Brewer SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. 45-60 2006 conf/osdi/2006 OSDI http://www.usenix.org/events/osdi06/tech/zhou.html db/conf/osdi/osdi2006.html#ZhouCABEHNB06