The Design and Implementation of Microdrivers (2008)

by Vinod Ganapathy , Matthew J. Renzelmann , Arini Balakrishnan , Michael M. Swift , Somesh Jha
Citations:24 - 5 self

Active Bibliography

5 Microdrivers: A New Architecture for Device Drivers – Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha
Fine-Grained Fault Tolerance using Device Checkpoints – Asim Kadav, Matthew J. Renzelmann, Michael M. Swift
13 Tolerating Hardware Device Failures in Software – Asim Kadav, Matthew J. Renzelmann, Michael M. Swift
15 Failure Resilience for Device Drivers – Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
1 Protecting Commodity Operating System Kernels from Vulnerable Device Drivers ∗ – Shakeel Butt, Vinod Ganapathy, Michael M. Swift, Chih-cheng Chang
1 Guardrail: High Fidelity Correctness Checking of Device Drivers for Safeguarding I/O Operations – Olatunji Ruwase, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry - 2012
17 Solving the Starting Problem: Device Drivers as Self-Describing Artifacts – Orion Hodson, Michael F. Spear, Galen C. Hunt, Tom Roeder - 2006
69 SafeDrive: Safe and recoverable extensions using language-based techniques – Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak - 2006
RECOVERY TECHNIQUES TO IMPROVE FILE SYSTEM RELIABILITY – Swaminathan Sundararaman - 2011
28 Device driver safety through a reference validation mechanism – Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
6 Decaf: Moving Device Drivers to a Modern Language – Matthew J. Renzelmann, Michael M. Swift
Device driver reuse via virtual machines – Joshua Thomas LeVasseur - 2009
11 Fault Isolation for Device Drivers – Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
Isolating Operating System Extensions in User-mode Processes – Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
Improving Device Driver Reliability through Decoupled Dynamic Binary Analyses – Olatunji O. Ruwase, David Andersen, Brad Chen Google - 2013
32 Fast Byte-Granularity Software Fault Isolation – Miguel Castro, Manuel Costa, Marcus Peinado, Periklis Akritidis Austin Donnelly
9 Membrane: Operating System Support for Restartable File Systems – Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-dusseau, Remzi H. Arpaci-dusseau, Michael M. Swift
15 Construction of a Highly Dependable Operating System – Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum - 2006
16 CuriOS: Improving Reliability through Operating System Structure – Francis M. David, Ellick M. Chan, Jeffrey C. Carlyle, Roy H. Campbell