Vitaly Chipounov, George Candea. Reverse-Engineering Drivers for Safety and Portability. In Proceedings of the Fourth Workshop on Hot Topics in Syetms Dependability, HotDep 2008, San Diego, CA, USA, December 7, 2008. USENIX Association, 2008. [doi]
Abstract is missing.