A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Mining Specifications - Ammons, Bodik, Larus (2002) (32 citations) (Correct)
....and correct them. Testing currently is the detection method of choice. However, the high cost and inherent limitations of testing has lead to a renewed interest in other approaches to finding bugs. One of the most promising directions is tools that systematically detect important classes of errors [1 3, 5, 6, 9, 10]. While program verification tools do not prevent programming errors, they can quickly and cheaply identify oversights early in the development process, when an error can be corrected by a programmer familiar with the code. Moreover, unlike testing, some verification tools can provide strong ....
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. An empirical study of operating systems errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP18), pages 73--88, October 2001.
Computer Security is Not a Science (but it should be) - Greenwald, Gunter.. (Correct)
....some way of weighing one attribute against another. The first step seems to be to develop crude quantitative models and gradually refine them as more data is collected. Many of these factors may seem hard to quantify. However, we are heartened by recent work by groups such as Engler s at Stanford [4, 2, 1], who have some simple models that quantify attributes such as rate of bugs and bug fixes in succeeding versions of software such as operating systems. 5 Conclusion Experience with computer systems has led to some general principles of computer security [6] but despite their importance, these ....
Andy Chou, Jun-Feng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. An empirical study of operating systems errors. In Proceedings of 18th ACM Symposium on Operating Systems Principles (SOSP '01), pages 73--82, October 2001. Chateau Lake Louise, Banff, Alberta.
Improving Availability with Recursive Micro-Reboots: A.. - Candea, Cutler, Fox (2003) (1 citation) (Correct)
....st century, recovery performance would be a more fruitful pursuit and more important for society than traditional performance. In the absence of perfect software, we might hope that the number of software bugs will at least asymptotically approach zero. Unfortunately, as seen in recent studies [27], the rate at which the number of bugs per thousand lines of code (bugs Kloc) is reduced through tools, language features, and programmer training appears to be far outpaced by the rate at which software size increases (Kloc software product) The total number of bugs goes up, and there is no ....
A. Chou, J.-F. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Proc. 18th ACM Symposium on Operating Systems Principles, Lake Louise, Canada, 2001.
The JX Operating System - Golm, Felser, Wawersich, Kleinöder (2002) (5 citations) (Correct)
....is x86 code. Machine code can either be allocated in the domain s fixed memory or in DomainZero s fixed memory. Installing it in DomainZero allows to share the code between domains. 2. 7 Device Drivers An investigation of the Linux kernel has shown that most bugs are found in device drivers [13]. Because device drivers will profit most from being written in a type safe language, all JX device drivers are written in Java. They use DeviceMemory to access the registers of a device and the memory that is available on a device; for example, a frame buffer. On some architectures there are ....
A. Chou, J.-F. Yang, B. Chelf, S. Hallem, and D. Engler. An Empirical Study of Operating System Errors. In Symposium on Operating System Principles 01', 2001.
Scale and Performance in the Denali Isolation Kernel - Whitaker, Shaw, Gribble (2002) (59 citations) (Correct)
....source lines, while Linux has 66,326 source lines (Figure 6a) Only a small fraction (18 ) of the Denali source is consumed by the core kernel ; the remainder is dedicated to device drivers and architecture dependent routines. Although drivers are known to be more buggy than core kernel code [8], the drivers used by Denali and barebones Linux consist of mature source code that has not changed substantially over time, e.g. the IDE driver, terminal support, and PCI bus probing. In Figure 6b, we present a breakdown of the core kernel sizes of Denali and Linux. The Linux core kernel is ....
A. Chou et al. An Empirical Study of Operating System Errors. In Proceedings of the 18th ACM Symposium on Operating System Principles (SOSP '01), October 2001.
Improving Cluster Availability Using Workstation Validation - Heath, Martin, Nguyen (2002) (2 citations) (Correct)
....Interestingly, they found that commonly blamed culprits of failures, such as the operating system and the SCSI drives, were in fact quite reliable. Much work has examined the causes of software failures. Typically, these look at characterize application bugs [6, 14] or operating system errors [7, 23]. These works differ fundamentally from ours in their choice of component. While the applications and operating systems are large components, from an Internet service perspective they are all nested in the larger component of the workstation node. Rejuvenation approaches have been proposed in ....
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An Empirical Study of Operating Systems Errors, October 2001.
Denali: A Scalable Isolation Kernel - Whitaker, Shaw, Gribble (2002) (4 citations) (Correct)
....by limiting the number of access paths available to untrusted code. Monolithic OSs are constantly evolving: each new release contains millions of lines of new code and countless new features. This leads to insecurity since new code is known to contain more bugs than older, more stable code [6]. We believe than an isolation kernel must be implemented as a thin software layer that exposes a narrow API and runs directly on hardware; this is similar to small kernel architectures such as virtual machine monitors or microkernels. Rather than providing complex high level abstractions, an ....
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.
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) Self-citation (Engler) (Correct)
No context found.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, 2001.
Correlation Exploitation in Error Ranking - Kremenek, Ashcraft, Yang, Engler (2004) Self-citation (Yang Engler) (Correct)
No context found.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In SOSP 2001.
Z-Ranking: Using Statistical Analysis to Counter the Impact.. - Kremenek, Engler Self-citation (Engler) (Correct)
No context found.
Chou, A., Yang, J., Chelf, B., Hallem, S., Engler, D.: An empirical study of operating systems errors. In: Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles. (2001)
Using Redundancies to Find Errors - Xie, Engler (2002) (1 citation) Self-citation (Engler) (Correct)
....redundancies, even when harmless, strongly correlate with hard errors. Our relatively uncontroversial hypothesis is that confused or incompetent programmers tend to make mistakes. We experimentally test this hypothesis by taking a large database of hard Linux errors that we found in prior work [8] and measuring how well redundancies predict these errors compared to chance. In our tests, files that have redundancy errors are roughly 45 to 100 more likely to have hard errors compared to files drawn by chance. This diVerence holds across the diVerent types of redundancies. Finally, we ....
....= q q last; q q last s next = sp; q q last = sp; Figure 13: A serious error in a linked list insertion implementation: srb p is always null after the while loop (which appears to check the wrong Boolean condition) bugs were collected from Linux 2.4. 1 with checkers described in [8]. These bugs include use of freed memory, dereferences of null pointers, potential deadlocks, unreleased locks, and security violations (e.g. the use of an untrusted value as an array index) We show that there is a strong correlation between these two error populations using a statistical ....
[Article contains additional citation context not shown here]
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, 2001.
Recovering Device Drivers - Michael Swift Muthukaruppan (2004) (6 citations) (Correct)
No context found.
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 Systems Principles, Oct. 2001.
Measuring Relative Attack Surfaces - Michael Howard Jon (2003) (Correct)
No context found.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallen, and Dawson Engler, "An empirical study of operating systems errors, " in ACM Symposium on Operating Systems Principles, Oct. 2001, pp. 73--88.
Unknown - Measuring Relative Attack (Correct)
No context found.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallen, and Dawson Engler (2001). An empirical study of operating systems errors. In ACM Sym-posium on Operating Systems Principles, pages 73-88, October.
An Attack Surface Metric - Pratyusa Manadhata Jeannette (2005) (Correct)
No context found.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem and Dawson Engler, An Empirical Study of Operating System Errors, Proceedings of ACM Symposium on Operating System Design and Implementation (2001).
Is Finding Security Holes a Good Idea? - Eric Rescorla Rtfm (2004) (Correct)
No context found.
Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler,D., "An Empirical Study of Operating Systems Errors," Symposium on Operating Systems Principles (2001).
An Attack Surface Metric - Pratyusa Manadhata Jeannette (2005) (Correct)
No context found.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem and Dawson Engler, An Empirical Study of Operating System Errors, Proceedings of ACM Symposium on Operating System Design and Implementation (2001).
Fine-Grain Analysis of Common Coupling and its Application.. - Yoav Etsion Gabor (2005) (Correct)
No context found.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler, "An empirical study of operating system errors". In 18th Symp. Operating Systems Principles, pp. 73--88, Oct 2001.
Linux Kernel Infrastructure for User-Level Device Drivers - Peter Chubb Peterc (Correct)
No context found.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson R. Engler. An empirical study of operating systems errors. In Symposium on Operating Systems Principles, pages 73--88, 2001. http://citeseer.nj.nec.com/article/chou01empirical.html.
Detecting Exploit Code Execution in Loadable Kernel Modules - Haizhi Xu Wenliang (Correct)
No context found.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, pages 73--88, October 2001.
Get More Device Drivers out of the Kernel! - Peter Chubb National (Correct)
No context found.
Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler, D. R. (2001). An empirical study of operating systems errors. In Symposium on Operating Systems Principles, pages 73--88. http://citeseer.nj.nec.com/ article/chou01empirical.html.
User-level Device Drivers: Achieved Performance - Leslie, Chubb, Fitzroy-Dale, .. (2005) (1 citation) (Correct)
No context found.
Andy Chou, Jun-Feng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. An empirical study of operating systems errors. In 18th SOSP, pages 73--88, Lake Louise, Alta, Canada, Oct 2001.
Get More Device Drivers out of the Kernel! - Peter Chubb National (Correct)
No context found.
Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler, D. R. (2001). An empirical study of operating systems errors. In Symposium on Operating Systems Principles, pages 73--88. http://citeseer.nj.nec.com/ article/chou01empirical.html.
Initial Evaluation of a User-Level Device Driver - Framework Kevin Elphinstone (Correct)
No context found.
Chou, A., Yang, J., Chelf, B., Hallem, S., Engler, D.: An empirical study of operating systems errors. (In: Proc. 18th Symp. on Operating Systems Principles)
AccMon: Automatically Detecting Memory-related.. - Zhou, Liu, Fei.. (2004) (2 citations) (Correct)
No context found.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. R. Engler. An empirical study of operating system errors. In Symposium on Operating Systems Principles, pages 73--88, 2001.
Linux Kernel Infrastructure for User-Level Device Drivers - Peter Chubb Peterc (Correct)
No context found.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson R. Engler. An empirical study of operating systems errors. In Symposium on Operating Systems Principles, pages 73--88, 2001. http://citeseer.nj.nec.com/article/chou01empirical.html.
Scale and Performance in the Denali Isolation Kernel - Whitaker, Shaw, Gribble (2002) (59 citations) (Correct)
No context found.
A. Chou et al. An Empirical Study of Operating System Errors. In Proceedings of the 18th ACM Symposium on Operating System Principles (SOSP '01), October 2001.
Reconstructing I/O - Fraser, Hand, Neugebauer, Pratt.. (2004) (2 citations) (Correct)
No context found.
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 Systems Principles, pages 73--88, October 2001.
Encapsulated User-Level Device Drivers in the Mungi Operating.. - Nicholas (Correct)
No context found.
Andy Chou, Jun-Feng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. An empirical study of operating systems errors. In Proc. 18th SOSP, pages 73--88, Lake Louise, Alta, Canada, Oct 2001.
Back to the Future: A Retroactive Study of Aspect Evolution in - Operating System Code (2003) (Correct)
No context found.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. An Empirical Study of Operating System Errors, in Proceedings of the 18th ACM Symposium on Operating System Principles (SOSP). 2001.
An I/O Architecture for Microkernel-Based Operating.. - Haertig, Loeser.. (2003) (Correct)
No context found.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. An empirical study of operating systems errors. In Proceedings of the eighteenth ACM symposium on Operating systems principles, pages 73--88. ACM Press, 2001.
Improving the Reliability of Commodity Operating Systems - Swift, Bershad, Levy (2003) (12 citations) (Correct)
No context found.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating system errors. In Systems Principles, pages 73--88, Oct. 2001.
Crash-Only Software - Candea, Fox (2003) (3 citations) (Correct)
No context found.
A. Chou, J.-F. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Proc. 18th ACM Symposium on Operating Systems Principles, Lake Louise, Canada, 2001.
A case for Virtual Channel Processors - McAuley, Neugebauer (2003) (2 citations) (Correct)
No context found.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical Study of Operating Systems Errors. In Proc. of the 18th Symposium on Operating Systems Principles (SOSP'01), pages 73--88, Lake Louise, Canada, Oct. 2001.
Linux Kernel Infrastructure for User-Level Device Drivers - Peter Chubb Peterc (2004) (Correct)
No context found.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson R. Engler. An empirical study of operating systems errors. In Symposium on Operating Systems Principles, pages 73--88, 2001. http://citeseer.nj.nec.com/article/chou01empirical.html.
A Tamper-Resistant Framework for Unambiguous Detection.. - Chinchani, Upadhyaya.. (Correct)
No context found.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Symposium on Operating Systems Principles (SOSP), pages 73-- 88. Chateau Lake Louise, Banff, Alberta, Canada, October 2001.
Hardware Works, Software Doesn't: - Enforcing Modularity With (2003) (Correct)
No context found.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems error. In SOSP-18, 2001.
Towards Untrusted Device Drivers - Leslie, Heiser (2003) (2 citations) (Correct)
No context found.
Andy Chou, Jun-Feng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. An empirical study of operating systems errors. In Proceedings of the 18th ACM Symposium on OS Principles (SOSP), pages 73--88, Lake Louise, Alta, Canada, October 2001.
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