|
19
|
The Design and Implementation of Microdrivers
– Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha
- 2008
|
|
|
Protecting Commodity Operating System Kernels from Vulnerable Device Drivers ∗
– Shakeel Butt, Vinod Ganapathy, Michael M. Swift, Chih-cheng Chang
|
|
|
Isolating Operating System Extensions in User-mode Processes
– Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
|
|
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
|
|
20
|
Device driver safety through a reference validation mechanism
– Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
|
|
17
|
Fast Byte-Granularity Software Fault Isolation
– Miguel Castro, Manuel Costa, Marcus Peinado, Periklis Akritidis Austin Donnelly
|
|
11
|
Failure Resilience for Device Drivers
– Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
|
|
58
|
SafeDrive: Safe and recoverable extensions using language-based techniques
– Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak
- 2006
|
|
8
|
Fault Isolation for Device Drivers
– Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
|
|
192
|
Improving the reliability of commodity operating systems
– Michael M. Swift, Brian N. Bershad, Henry M. Levy
- 2003
|
|
11
|
CuriOS: Improving Reliability through Operating System Structure
– Francis M. David, Ellick M. Chan, Jeffrey C. Carlyle, Roy H. Campbell
|
|
|
Nooks for NT
– Micah Z. Brodsky, Eric K. Kochhar
- 2006
|
|
83
|
Safe hardware access with the Xen virtual machine monitor
– Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson
- 2004
|
|
|
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
|
|
26
|
Reconstructing I/O
– Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson
- 2004
|
|
|
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
|
|
|
The Design and Implementation of a Fully-Modular, Self-Healing, UNIX-Like Operating System
– Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
|
