|
192
|
Improving the reliability of commodity operating systems
– Michael M. Swift, Brian N. Bershad, Henry M. Levy
- 2003
|
|
59
|
XFI: Software Guards for System Address Spaces
– U ERLINGSSON, M ABADI, M VRABLE, M BUDIU, G C NECULA
|
|
83
|
Safe hardware access with the Xen virtual machine monitor
– Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson
- 2004
|
|
627
|
Efficient Software-Based Fault Isolation
– Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham
- 1993
|
|
21
|
Dingo: Taming Device Drivers
– Leonidf Ryzhyk, et al.
- 2009
|
|
90
|
Recovering device drivers
– Michael M. Swift, Brian N. Bershad, Henry M. Levy
- 2004
|
|
119
|
Thorough Static Analysis of Device Drivers
– Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner
- 2006
|
|
63
|
Devil: An IDL for Hardware Programming
– Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller
- 2000
|
|
20
|
Device driver safety through a reference validation mechanism
– Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
|
|
82
|
Unmodified device driver reuse and improved system dependability via virtual machines
– Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz
- 2004
|
|
58
|
SafeDrive: Safe and recoverable extensions using language-based techniques
– Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak
- 2006
|
|
34
|
User-level Device Drivers: Achieved Performance
– Ben Leslie, Peter Chubb, Nicholas Fitzroy-dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting Shen, Kevin Elphinstone, Gernot Heiser
- 2005
|
|
15
|
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
– Orion Hodson, Michael F. Spear, Galen C. Hunt, Tom Roeder
- 2006
|
|
990
|
Xen and the art of virtualization
– Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
|
|
17
|
Fast Byte-Granularity Software Fault Isolation
– Miguel Castro, Manuel Costa, Marcus Peinado, Periklis Akritidis Austin Donnelly
|
|
199
|
An Empirical Study of Operating System Errors
– Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler
- 2001
|
|
8
|
Automatic Device Driver Synthesis with Termite
– Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le, Sueur∗ Gernot Heiser
|
|
21
|
Mondrix: Memory isolation for Linux using Mondriaan memory protection
– Emmett Witchel, Krste Asanović
- 2005
|
|
18
|
Intel Virtualization Technology for Directed I/O
– Darren Abramson, Jeff Jackson, Sridhar Muthrasanallur, Gil Neiger, Greg Regnier, Rajesh Sankaran, Ioannis Schoinas, Rich Uhlig, Balaji Vembu, John Wiegert
|
