|
199
|
An Empirical Study of Operating System Errors
– Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler
- 2001
|
|
192
|
Improving the reliability of commodity operating systems
– Michael M. Swift, Brian N. Bershad, Henry M. Levy
- 2003
|
|
309
|
On µ-kernel construction
– Jochen Liedtke
- 1995
|
|
561
|
Exokernel: An Operating System Architecture for Application-Level Resource Management
– Dawson R. Engler, M. Frans Kaashoek, James O’toole
- 1995
|
|
82
|
Unmodified device driver reuse and improved system dependability via virtual machines
– Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz
- 2004
|
|
51
|
Integrating segmentation and paging protection for safe, efficient and transparent software extensions
– Tzi-cker Chiueh, Ganesh Venkitachalam, Prashant Pradhan
- 1999
|
|
5
|
Mungi device drivers
– Benjamin James Leslie
- 2002
|
|
518
|
U-Net: A User-Level Network Interface for Parallel and Distributed Computing
– Thorsten Von Eicken, Anindya Basu, Vineet Buch, Werner Vogels
- 1995
|
|
238
|
Dealing with disaster: Surviving misbehaved kernel extensions
– Margo I. Seltzer, Yasuhiro Endo, Christopher Small, Keith A. Smith
- 1996
|
|
392
|
Extensibility, safety and performance in the SPIN operating system
– Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers
- 1995
|
|
63
|
Devil: An IDL for Hardware Programming
– Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller
- 2000
|
|
10
|
III. An Architecture for Device Drivers Executing as User-Level Tasks
– D B Golub, G G Sotomayor, F L Rawson
- 1993
|
|
318
|
The SLAM project: debugging system software via static analysis
– Thomas Ball, Sriram K. Rajamani
|
|
13
|
Give a Process to your Drivers!
– François Armand
- 1991
|
|
7
|
A sledgehammer approach to reuse of legacy device drivers
– Joshua LeVasseur, Volkmar Uhlig
- 2004
|
|
90
|
Recovering device drivers
– Michael M. Swift, Brian N. Bershad, Henry M. Levy
- 2004
|
|
57
|
Privtrans: automatically partitioning programs for privilege separation
– David Brumley, Dawn Song
- 2004
|
|
83
|
Safe hardware access with the Xen virtual machine monitor
– Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson
- 2004
|
|
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
|
