- Improving the Reliability of Commodity Operating MICHAEL M. SWIFT, BRIAN N. BERSHAD, and HENRY M. LEVY
- SOLARISTM ZFS AND RED HAT ENTERPRISE LINUX EXT3
- Dawson Engler, David Yu Chen, Seth Hallen, Andy Chou, & Benjamin Chelf
- The Transaction Concept: Virtues and Limitations Tandem Computers Incorporated
- LiteOS Operating System: Toward Unix-like Abstractions for Wireless Sensor Networks
- The Byzantine Generals Problem LESLIE LAMPORT, ROBERT SHOSTAK, and MARSHALL PEASE
- Operating R. Stockton Gaines Systems Editor
- Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code
- Current system loggers have two problems: they depend on the integrity of the operating system being logged, and they do not save sufficient information to replay and analyze attacks that include any non-deterministic events. ReVirt
- A Fast File System for UNIX MARSHALL K. MCKUSICK, WILLIAM N. JOY, SAMUEL J. LEFFLER,
- Hypervisor-based Fault-tolerance
- The Design and Implementation of a Log-Structured File System
- Xen and The Art of Virtualization E. Anthony T. Allen
- The Working Set Model for Program Behavior
- Background and Introduction Thread Management Alternatives
- pthread Tutorial c Copyright 2008 by Peter C. Chapin
- A Fast File System for Unix Marshall K. McKusick,
- The Transaction Concept: Virtues and Limitations
- Solaris ZFS and Red Hat Linux Ext3 File System
- Time, Clocks, and the Ordering of Events in a Distributed System
- Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code
- Implementing Remote Procedure Calls
- System Architecture Directions for Networked
- The LiteOS Operating System: Towards Unix-like Abstractions for Wireless Sensor Networks
- The Task of the Referee Alan Jay Smith
- End-To-End Argumentsin System Design J. H. SALTZER, D. P. REED, and D. D. CLARK
- Warm-up Course Project CS560: Implementing a Unix-like File System
- Declarative Tracepoints: A Programmable and Application Independent Debugging System
- The nesC Language: A Holistic Approach to Networked
- CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code
- Improving the Reliability of Commodity Operating Systems
- Event-driven Programming for Robust Software Frank Dabek, Nickolai Zeldovich, Frans Kaashoek, David Mazi`eres, Robert Morris
- System Architecture Directions for Networked Sensors Jason Hill, Robert Szewczyk, Alec Woo, Seth Hollar, David Culler, Kristofer Pister
- Corey: An Operating System for Many Cores Silas Boyd-Wickizer
- The nesC Language: A Holistic Approach to Networked Embedded Systems
- 67. Proc. AFIPS 1966Spring Joint Cornpnt. Conf., Vol. 28. Spartan Books, New York, pp. 61-78.
- Scheduler Activations: Effective Kernel Support for the User-level
- The Part-Time Parliament Leslie Lamport
- Dynamo: Amazon's Highly Available Key-value Store Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati,
- Department of Electrical Engineering and Computer Science CS560 Advanced Operating Systems
- Google File System Introduction
- MapReduce: Simplified Data Processing on Large Clusters
- Department of Electrical Engineering and Computer Science ECE556 Wireless Sensor Networks
- Improving the Reliability of Commodity Operating MICHAEL M. SWIFT, BRIAN N. BERSHAD, and HENRY M. LEVY
- Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
- A Casefor RedundantArraysof InexpensiveDisks(RAID) Davtd A Patterson, Garth Gibson, and Randy H Katz
- MapReduce: Simplified Data Processing on Large Clusters Jeffrey Dean and Sanjay Ghemawat
- The HP AutoRAID Hierarchical Storage System
- Operating R. Stockton Gaines Systems Editor
- Exokernel: An Operating System Architecture for Application-Level Resource Management
- The Part-Time Parliament Leslie Lamport
- Dynamo: Amazon's Highly Available Key-value Store Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati,
- pthread Tutorial c Copyright 2008 by Peter C. Chapin
- Implementing Remote Procedure Calls ANDREW D. BIRRELL and BRUCE JAY NELSON
- CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code
- The UNIX Time-Sharing System
- CS560 Programming Project: In this project you will implement a simple UNIX-like file system with a hierarchical
- A Fast File System for UNIX MARSHALL K. MCKUSICK, WILLIAM N. JOY, SAMUEL J. LEFFLER,
- End-To-End Argumentsin System Design J. H. SALTZER, D. P. REED, and D. D. CLARK
- Experience with Processes and Monitors in Mesa 1 Experience with Processes and Monitors in Mesa1
- 67. Proc. AFIPS 1966Spring Joint Cornpnt. Conf., Vol. 28. Spartan Books, New York, pp. 61-78.
- Google File System Introduction
- The Design and Implementation of a Log-Structured File System
- Current system loggers have two problems: they depend on the integrity of the operating system being logged, and they do not save sufficient information to replay and analyze attacks that include any non-deterministic events. ReVirt
- Disconnected Operation in the Coda File JAMES J. KISTLER and M. SATYANARAYANAN
