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. In 7th Symposium on Operating Systems Design and Implementation (OSDI 06), November 6-8, Seattle, WA, USA. pages 45-60, USENIX Association, 2006. [doi]
@inproceedings{ZhouCABEHNB06,
title = {SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques},
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},
year = {2006},
url = {http://www.usenix.org/events/osdi06/tech/zhou.html},
tags = {rule-based, C++},
researchr = {https://researchr.org/publication/ZhouCABEHNB06},
cites = {0},
citedby = {0},
pages = {45-60},
booktitle = {7th Symposium on Operating Systems Design and Implementation (OSDI 06), November 6-8, Seattle, WA, USA},
publisher = {USENIX Association},
}