Michael M. Swift, Brian N. Bershad, Henry M. Levy  Home/Search
Context Related
Links: ACM DBLP | washington.edu/homes/m...nookssosp.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF 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.ist.psu.edu/swift03improving.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.ist.psu.edu/swift03improving.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 ACM DBLP
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 DBLP
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 ACM DBLP
226 Lightweight remote procedure call (context) - Bershad, Anderson et al. - 1990 ACM DBLP
175 Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996 DBLP
129 Inside Windows NT (context) - Custer - 1993
116 Sharing and protection in a single-address-space operating s.. - Chase, Levy et al. - 1994 ACM DBLP
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 ACM DBLP
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 DBLP
45 Recursive restartability: Turning the reboot sledgehammer in.. - Candea, Fox - 2001
45 Understanding the Linux Kernel (context) - Bovet, Cesati - 2001 ACM
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 DBLP
39 Protection and the control of information sharing in Multics (context) - Saltzer - 1974 ACM DBLP
38 Fault injection techniques and tools - Hsueh, Tsai et al. - 1997 ACM DBLP
38 An empirical study of operating system errors - Chou, Yang et al. - 2001 DBLP
32 Self-paging in the Nemesis operating system - Hand - 1999 ACM DBLP
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 ACM DBLP
21 Denali: Lightweight virtual machines for distributed and net.. - Whitaker, Shaw et al. - 2002
20 Experience with transactions in QuickSilver - Schmuck, Wylie - 1991 ACM DBLP
16 UC Berkeley Computer Science (context) - Patterson, Brown et al. - 2002
12 A Programmer's View of the Intel 432 System (context) - Organick - 1983 ACM
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 ACM DBLP
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 ACM DBLP
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 ACM DBLP
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 Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC