Sciweavers

HOTDEP
2008
107views Hardware» more  HOTDEP 2008»
14 years 1 months ago
Reverse-Engineering Drivers for Safety and Portability
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
Vitaly Chipounov, George Candea