M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, Oct. 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Naming and Sharing Resources across Administrative Boundaries - Howell (2000) Self-citation (Seltzer) (Correct)
No context found.
Margo I. Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Implementation, pages 213--227. USENIX Association, October 1996.
Recovering Device Drivers - Michael Swift Muthukaruppan (2004) (6 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, Oct. 1996.
A Programmable Structure for Pervasive Computing - Ingar Mhlum Arntzen (2004) (Correct)
No context found.
M. Seltzer, Y. Endo, C. Small, and K. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI II), October 1996.
Application-Level Concurrency Management - Ogel, Thomas, Folliot, Piumarta (2003) (Correct)
No context found.
M. Seltzer, Y. Endo, C. Small and K.A. Smith. Dealing with Disaster: Surviving Misbehaved Kernel Extensions, in Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, Seattle, Washington, pp 213--227, 1996. citeseer.nj.nec.com/ seltzer96dealing.html
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - Services Richard West (2005) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, 1996.
Distributed Computing in Practice: The Condor Experience - Thain, Tannenbaum, Livny (2004) (6 citations) (Correct)
No context found.
M.I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 213--227, October 1996.
Explicit Control in a Batch-Aware Distributed File System - John Bent Douglas (2004) (1 citation) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 213--228, Seattle, WA, Oct 1996.
Proof Optimization Using Lemma Extraction - Rahul George Necula (Correct)
No context found.
Seltzer, M. I., Endo, Y., Small, C., and Smith, K. A. Dealing with disaster: Surviving misbehaved kernel extensions. In Second Symposium on Operating Systems Design and Implementations (Oct. 1996), Usenix, pp. 213-227.
Providing Dynamic Update in an Operating System - Andrew Baumann Gernot (2005) (Correct)
No context found.
Margo I. Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, pages 213--228, November 1996.
Legba: Fast Hardware Support for Fine-Grained Protection - Wiggins, Winwood, Tuch.. (2003) (1 citation) (Correct)
No context found.
M.I. Seltzer, Y. Endo, C. Small, and K.A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proc. 2nd USENIX OSDI, pages 213--228, Nov 1996.
Detecting Exploit Code Execution in Loadable Kernel Modules - Haizhi Xu Wenliang (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the USENIX 2nd Symposium on Operating Systems Design and Implementation, October 1996.
User-level Device Drivers: Achieved Performance - Leslie, Chubb, Fitzroy-Dale, .. (2005) (1 citation) (Correct)
No context found.
Margo I. Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In 2nd OSDI, pages 213-- 228, Nov 1996.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Margo I. Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. Dealing with disaster: surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, Seattle, Washington, October 1996.
Legba: Fast Hardware Support for Fine-Grained Protection - Wiggins, Winwood, Tuch.. (2003) (1 citation) (Correct)
No context found.
M.I. Seltzer, Y. Endo, C. Small, and K.A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proc. 2nd USENIX OSDI, pages 213--228, Nov 1996.
Providing Dynamic Update in an Operating System - Andrew Baumann Gernot (2005) (Correct)
No context found.
Margo I. Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, pages 213--228, November 1996.
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, 1996.
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, 1996.
An Efficient User-Level Shared Memory Mechanism for.. - West, Gloudon, Qi.. (2005) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith, "Dealing with disaster: Surviving misbehaved kernel extensions," in Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, 1996.
An Efficient User-Level Shared Memory Mechanism for - Application-Specific.. (2005) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith, "Dealing with disaster: Surviving misbehaved kernel extensions," in Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, 1996.
A New Protection Model for Component-Based Operating Systems - Law (2001) (4 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K.A. Smith. Dealing with Disaster: Surviving Misbehaved Kernel Extensions. In Proceedings of the 2nd Symposium on Operating System Principles, December 1995.
Efficient End-Host Architecture for High.. - Qi, Parmer, West, .. (2004) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, 1996.
Coordinating Access to Computation and Data in Distributed Systems - Thain (2004) (Correct)
No context found.
Margo I. Seltzer, Yasuhiro Endo, Christoper Small, and Keith A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 213-- 228, Seattle, WA, Oct 1996.
LOMAC: Low Water-Mark Integrity Protection for COTS.. - Timothy Fraser Nai (2000) (9 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Proceedings of the USENIX 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, October 1996.
Improving Application Performance through System Call .. - Purohit.. (Correct)
No context found.
M. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 213--227, October 1996.
A New Approach to Mobile Code Security - Wallach (1999) (21 citations) (Correct)
No context found.
Margo I. Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI '96), pages 213--227, Seattle, Washington, October 1996.
Finding and Preventing Run-Time Error Handling Mistakes - Westley Weimer George (2004) (4 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, 1996.
Reconstructing I/O - Fraser, Hand, Neugebauer, Pratt.. (2004) (2 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, October 1996.
A System for Improving Application Performance through System.. - Purohit (2003) (Correct)
No context found.
M. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 213--227, October 1996.
An Efficient End-host Architecture for Cluster Communication.. - Qi, Parmer, West (2004) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, 1996.
Remote Customization of Systems Code for Embedded Devices - Bhatia, Consel, Pu (2004) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, October 1996.
Coordinating Access to Computation and Data in Distributed Systems - Thain (2004) (Correct)
No context found.
Margo I. Seltzer, Yasuhiro Endo, Christoper Small, and Keith A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 213-- 228, Seattle, WA, Oct 1996.
Distributed Computing in Practice: The Condor Experience - Thain, Tannenbaum, Livny (2004) (6 citations) (Correct)
No context found.
M.I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 213--227, October 1996.
Application-Level Concurrency Management - Ogel, Thomas, Folliot, Piumarta (Correct)
No context found.
M. Seltzer, Y. Endo, C. Small and K.A. Smith. Dealing with Disaster: Surviving Misbehaved Kernel Extensions, in Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, Seattle, Washington, pp 213--227, 1996. citeseer.nj.nec.com/ seltzer96dealing.html
Security for Extensible Systems - Robert Grimm Brian (1997) (8 citations) (Correct)
No context found.
Margo I. Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, October 1996.
Transforming Policies into Mechanisms with Infokernel - Arpaci-Dusseau.. (2003) (3 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 213-- 228, Seattle, Washington, October 1996.
Constructing Services with Interposable Virtual Hardware - Andrew Whitaker Richard (2004) (2 citations) (Correct)
No context found.
Margo Seltzer, Yasuhiro Endo, Christopher Small, and Keith Smith. Dealing with disaster: Surviving misbehaved kernel extensions, October 1996.
Finding and Preventing Run-Time Error Handling Mistakes - Weimer, Necula (2004) (4 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, 1996.
Alternative Schemes For Low-Footprint Operating Systems Building - Rippert, al. (2004) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with Disaster: Surviving Misbehaved Kernel Extensions. In Proc. of OSDI'96.
Improving the Reliability of Commodity Operating Systems - Swift, Bershad, Levy (2003) (12 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, pages 213--227, Oct. 1996.
Processes in KaffeOS: Isolation, Resource Management, and.. - Back, Hsieh, Lepreau (2000) (4 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proc. of the 2nd OSDI, pp. 213-- 227, Seattle, WA, Oct. 1996.
Alternative Schemes for Low-Footprint Operating System Building - Rippert, al. (2004) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with Disaster: Surviving Misbehaved Kernel Extensions. In Proc. of OSDI'96.
Explicit Control in a Batch-Aware Distributed File System - John Bent Douglas (2004) (1 citation) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 213--228, Seattle, WA, Oct 1996.
Nonintrusive Remote Healing Using Backdoors - Florin Sultan Aniruddha (2003) (Correct)
No context found.
M. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with Disaster: Surviving Misbehaved Kernel Extensions. In Proc. 2nd Symposium on Operating Systems Design and Implementation (OSDI), Oct. 1996.
Explicit Control in a Batch-Aware Distributed File System - John Bent Douglas (2004) (1 citation) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 213--228, Seattle, WA, Oct 1996.
Flashback: A Lightweight Extension for Rollback and .. - Srinivasan.. (2004) (1 citation) (Correct)
No context found.
M. Seltzer, Y. Endo, and C. Small. Dealing with disaster: Surviving misbehaved kernel extensions. In OSDI, 1996.
Efficient End-Host Architecture for High.. - Qi, Parmer, West, .. (2004) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, 1996.
Kernel Plugins: When a VM Is Too Much - Ganev, Eisenhauer, Schwan (2004) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: surviving misbehaved kernel extensions. In Proceedings of the 2 nd USENIX Symposium on Operating Systems Design and Implementation, pages 213--227. ACM Press, 1996.
Efficient End-Host Architecture for High.. - Qi, Parmer, West, .. (2004) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, Washington, 1996.
Processes in KaffeOS: Isolation, Resource Management, and.. - Back, Hsieh, Lepreau (2000) (4 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proc. of the 2nd OSDI, pp. 213-- 227, Seattle, WA, Oct. 1996.
Safety-Checking of Machine Code - Xu (2001) (25 citations) (Correct)
No context found.
M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. 2nd USENIX Symposium on Operating Systems Design and Implementation. Seattle, WA (October 1996).
First 50 documents Next 50
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