Safedrive: Safe and recoverable extensions using languagebased techniques (2006)

by F ZHOU, J CONDIT, Z ANDERSON, I BAGRAK, R ENNALS, M HARREN, G NECULA, E BREWER
Venue:In USENIX Symposium on Operating System Deisgn and Implementation