Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler  Home/Search
Context Related
| stanford.edu/~engl...metricssosp01.ps 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: stanford.edu/~engler/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a study of operating system errors found by automatic, static, compiler analysis applied to the Linux and OpenBSD kernels. Our approach differs from previous studies that consider errors found by manual inspection of logs, testing, and surveys because static analysis is applied uniformly to the entire kernel source, though our approach necessarily considers a less comprehensive variety of errors than previous studies. In addition, automation allows us to track errors over multiple... (Update)
Cited by: More
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) (Correct)
Recovering Device Drivers - Michael Swift Muthukaruppan (2004) (Correct)
Measuring Relative Attack Surfaces - Michael Howard Jon (2003) (Correct)
Similar documents (at the sentence level):
66.0%: An Empirical Study of Operating Systems Errors - Chou, Yang, Chelf, Hallem.. (2001) (Correct)
Active bibliography (related documents): More All
0.2: Correlation Exploitation in Error Ranking - Kremenek, Ashcraft, Yang, Engler (2004) (Correct)
0.2: The Evolution of Dependable Computing at the.. - Iyer, Sanders, Patel, .. (Correct)
0.2: Checking System Rules Using System-Specific.. - Engler, Chelf, Chou.. (2000) (Correct)
Similar documents based on text: More All
0.3: MECA: an Extensible, Expressive System and Language for .. - Yang, Kremenek, Xie.. (2003) (Correct)
0.2: Using Programmer-Written Compiler Extensions to Catch.. - Ashcraft, Engler (2002) (Correct)
0.2: A System and Language for Building System-Specific.. - Hallem, Chelf, Xie.. (2002) (Correct)
Related documents from co-citation: More All
10: Nooks: An architecture for reliable device drivers (context) - Swift, Marting et al. - 2002
8: Mach: A New Kernel Foundation for Unix Development (context) - Accetta, Baron et al. - 1986
6: safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
BibTeX entry: (Update)
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An Empirical Study of Operating System Errors. In Proceedings of the 18th ACM Symposium on Operating System Principles (SOSP '01), Oct. 2001. http://citeseer.ist.psu.edu/chou01empirical.html More
@inproceedings{ chou01empirical,
author = "Andy Chou and Junfeng Yang and Benjamin Chelf and Seth Hallem and Dawson R. Engler",
title = "An Empirical Study of Operating System Errors",
booktitle = "Symposium on Operating Systems Principles",
pages = "73-88",
year = "2001",
url = "citeseer.ist.psu.edu/chou01empirical.html" }
Citations (may not include all citations):837 Cambridge University Press (context) - Motwani, Raghavan - 1995
692 the Self-Similar Nature of Ethernet Traffic - Leland, Taqq et al. - 1993
100 Checking System Rules Using System-Specific (context) - Engler, Chelf et al. - 2000
91 The Impact of Architectural Trends on Operating System Perfo.. (context) - Rosenblum, Bugnion et al. - 1995
82 Fault Injection for Dependability Validation -- A Methodolog.. (context) - Arlat, Aguera et al. - 1990
72 A First Step Towards Automated Detection of Buffer Overrun V.. - Wagner, Foster et al. - 2000
71 Analysis of Survival Data (context) - Cox, Oakes - 1984
65 Studies of Windows NT Performance Using Dynamic Execution Tr.. - Perl, Sites - 1996
59 Software Defects and Their Impact on System 118 Availability.. - Sullivan, Chillarege - 1991
59 Software Errors and Complexity: an Empirical Investigation (context) - Basili, Perricone - 1984
53 Understanding Large System Failures - A Fault Injection Expe.. (context) - Chillarege, Bowen - 1989
52 Checking for Race Conditions in File Accesses - Bishop, Dilger - 1996
49 An Empirical Study of the Reliability of UNIX Utilities - Miller, Fredriksen et al. - 1990
43 Fuzz Revisited: A Reexamination of the Reliability of UNIX U.. - Miller, Koski et al. - 1995
43 The Measured Performance of Personal Computer Operating Syst.. - Chen, Endo et al. - 1996
38 FERRARI: A Flexible Software-Based Fault and Error Injection.. (context) - Kanawati, Kanawati et al. - 1995
28 Discrete Distributions (context) - Johnson, Kotz - 1969
26 Quantitative Analysis of Faults and Failures in a Complex So.. - Fenton, Ohlsson - 2000
25 Chapman and Hall (context) - Silvey - 1975
23 Comparing Operating Systems Using Robustness Benchmarks - Jr, Sung et al. - 1997
22 and Software Fault Tolerance in the Tandem GUARDIAN Operatin.. (context) - Lee, Iyer et al. - 1993
19 A Comparison of Software Defects in Database Management Syst.. (context) - Sullivan, Chillarege - 1992
13 Detecting Races in Relay Ladder Logic Programs - Aiken, Fahndrich et al. - 1998
5 Technical Introduction to PREfixEnterprise (context) - Introduction, Enterprise et al. - 1998
4 Networked Windows NT System Filed Failure Data Analysis (context) - Xu, Kalbarczyk - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.stanford.edu/~engler/): More
A Simple Method for Extracting Models from Protocol Code - Lie, Chou, Engler, Dill (2001) (Correct)
tcc: A Template-Based Compiler for `C - Poletto, Engler, Kaashoek (1995) (Correct)
Interface Compilation: Steps toward Compiling Program Interfaces.. - Engler (1999) (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