|
5
|
Microdrivers: A New Architecture for Device Drivers
– Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha
|
|
6
|
Tolerating Hardware Device Failures in Software
– Asim Kadav, Matthew J. Renzelmann, Michael M. Swift
|
|
11
|
Failure Resilience for Device Drivers
– Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
|
|
|
Protecting Commodity Operating System Kernels from Vulnerable Device Drivers ∗
– Shakeel Butt, Vinod Ganapathy, Michael M. Swift, Chih-cheng Chang
|
|
|
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
|
|
58
|
SafeDrive: Safe and recoverable extensions using language-based techniques
– Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak
- 2006
|
|
15
|
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
– Orion Hodson, Michael F. Spear, Galen C. Hunt, Tom Roeder
- 2006
|
|
20
|
Device driver safety through a reference validation mechanism
– Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
|
|
4
|
Decaf: Moving Device Drivers to a Modern Language
– Matthew J. Renzelmann, Michael M. Swift
|
|
|
Device driver reuse via virtual machines
– Joshua Thomas LeVasseur
- 2009
|
|
8
|
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
|
|
17
|
Fast Byte-Granularity Software Fault Isolation
– Miguel Castro, Manuel Costa, Marcus Peinado, Periklis Akritidis Austin Donnelly
|
|
|
Membrane: Operating System Support for Restartable File Systems SWAMINATHAN SUNDARARAMAN, SRIRAM SUBRAMANIAN, ABHISHEK
– Andrea C. Arpaci-dusseau, Remzi H. Arpaci-dusseau, Michael M. Swift
|
|
9
|
Construction of a Highly Dependable Operating System
– Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
- 2006
|
|
11
|
CuriOS: Improving Reliability through Operating System Structure
– Francis M. David, Ellick M. Chan, Jeffrey C. Carlyle, Roy H. Campbell
|
|
1
|
Live Update for Device Drivers
– Michael M. Swift, Damien Martin-guillerez, Brian N. Bershad, Henry M. Levy, Michael M. Swift, Damien Martin-guillerez, Brian N. Bershad, Henry M. Levy
- 2008
|
|
|
Thesis Proposal Log Based Dynamic Binary Analysis for Detecting Device Driver Defects
– Olatunji Ruwase
|
|
|
Advisors:
– Animesh Trivedi, Dr. Andrew Baumann, Prof Timothy Roscoe
- 2009
|
