Michael M. Swift, Brian N. Bershad, Henry M. Levy  @ NUS Home/Search
Context Related
| washington.edu/homes/m...nookssosp.pdf Cached: PS.gz PS PDF Image Update Help From: washington.edu/homes/levy/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example, drivers account for 85% of recently reported failures. (Update)
Cited by: More
Combining Statistical Monitoring and Predictable - Recovery For Self-Management (Correct)
Designing Voting Machines for Verification - Naveen Sastry Tadayoshi (Correct)
Recovering Device Drivers - Michael Swift Muthukaruppan (2004) (Correct)
Active bibliography (related documents): More All
0.5: SLK: ACapability System Based on Safe Language Technology - Hawblitzel, Chang.. (1997) (Correct)
0.5: Defining Digital Forensic Examination and Analysis Tools - Carrier (2002) (Correct)
0.5: Containment of Aggregate Queries - Sara Cohen Werner (Correct)
Similar documents based on text: More All
0.4: Manageability, Availability and Performance in Porcupine.. - Saito, Bershad, Levy (1999) (Correct)
0.4: The Structure and Performance of Interpreters - Romer, Lee, Voelker, Wolman.. (1996) (Correct)
0.3: Wayne A. Wong - Www Cs Washington (Correct)
Related documents from co-citation: More All
5: Dealing With Disaster: Surviving Misbehaved Kernel Extensions - Seltzer, Endo et al. - 1996
5: An Empirical Study of Operating System Errors - Chou, Yang et al. - 2001
4: Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel - Candea, Fox
BibTeX entry: (Update)
M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the Reliability of Commodity Operating Systems. In Proc. 19th Symp. on Operating Systems Principles (SOSP), Oct. 2003. http://citeseer.comp.nus.edu.sg/679250.html More
@inproceedings{ swift03improving,
author = "M. Swift and B. Bershad and H. Levy",
title = "Improving the Reliability of Commodity Operating Systems",
booktitle =" Proceedings of the 19th Symposium on Operating Systems Principles",
address = "New York",
year = "2003",
url = "citeseer.comp.nus.edu.sg/679250.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
476 Implementing remote procedure calls - Birrell, Nelson - 1984
447 Exokernel: an operating system architecture for application-.. - Engler, Kaashoek et al. - 1995
444 Mach: A new kernel foundation for UNIX development (context) - Young, Accetta et al. - 1986
400 safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996
226 Lightweight remote procedure call (context) - Bershad, Anderson et al. - 1990
175 Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996
129 Inside Windows NT (context) - Custer - 1993
116 Sharing and protection in a single-address-space operating s.. - Chase, Levy et al. - 1994
113 httperf: A tool for measuring web server performance - Mosberger, Jin - 1998
100 Checking system rules using system-specific (context) - Engler, Chelf et al. - 2000
100 Using continuations to implement thread management and commu.. - Draves, Bershad et al. - 1991
70 Performance of Firefly RPC - Schroeder, Burrows - 1989
63 Capability-based addressing (context) - Fabry - 1974
60 kernel construction - Liedtke - 1995
55 Architectural support for single address space operating sys.. - Koldinger, Chase et al. - 1994
45 Recursive restartability: Turning the reboot sledgehammer in.. - Candea, Fox - 2001
45 Understanding the Linux Kernel (context) - Bovet, Cesati - 2001
44 cient software-based fault isolation (context) - Wahbe, Lucco et al. - 1993
43 Hive: Fault containment for shared-memory multiprocessors (context) - Chapin, Rosenblum et al. - 1995
39 Protection and the control of information sharing in Multics (context) - Saltzer - 1974
38 Fault injection techniques and tools - Hsueh, Tsai et al. - 1997
38 An empirical study of operating system errors - Chou, Yang et al. - 2001
32 Self-paging in the Nemesis operating system - Hand - 1999
25 devices on VMware workstation's hosted virtual machine monit.. (context) - Sugerman, Venkitachalam et al. - 2001
23 Mondrian memory protection - Witchel, Cates et al. - 2002
21 Denali: Lightweight virtual machines for distributed and net.. - Whitaker, Shaw et al. - 2002
20 Experience with transactions in QuickSilver - Schmuck, Wylie - 1991
16 UC Berkeley Computer Science (context) - Patterson, Brown et al. - 2002
12 A Programmer's View of the Intel 432 System (context) - Organick - 1983
12 When virtual is better than real (context) - Chen, Noble - 2001
11 The SPECweb99 benchmark (context) - Evaluation - 1999
11 IEEE Personal Communications Magazine (context) - Haarsten, radio - 2000
10 Using write protected data structures to improve software fa.. - Sullivan, Stonebraker - 1991
9 system for Mach (context) - Forin, Golub et al. - 1991
9 The IA-32 Architecture Software Developer's Manual (context) - Corporation - 2002
6 The systematic improvement of fault tolerance in the Rio fil.. - Ng, Chen - 1999
6 Performance of address-space multiplexing on the Pentium - Uhlig, Dannowski et al. - 2002
6 Netperf: A network performance benchmark (context) - Jones - 1995
4 The role of Linux in reducing the cost of enterprise computi.. (context) - Gillen, Kusnetzky et al. - 2002
3 IBM System/38 support for capability-based addressing (context) - Houdek, Soltis et al. - 1981
3 Apache HTTP server version (context) - Project - 2000
2 Programming semantics for multiprogramming systems (context) - Dennis, Horn - 1966
2 Available at http: //www (context) - Levy, Systems - 1984
2 FAT: General overview of on-disk format (context) - Corporation - 2000
2 Vice President of Windows Core Technology (context) - Short - 2003
2 The Flux OSKit: a substrate for OS language and research (context) - Ford, Back et al. - 1997
1 Available at http://www (context) - Wheeler, gigabuck et al. - 2002
1 TiVo digital video recorder (context) - Corporation - 2001
1 Digital Equipment Corporation (context) - Gettys, Carlton et al. - 1900
1 Hewlett Packard Digital Entertainment Center (context) - Packard - 2001
http://www.fenrus.demon.nl/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.washington.edu/homes/levy/):
Measurement, Modeling, and Analysis of a.. - Gummadi, Dunn.. (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.