- Recovering from Operating System Errors Francis M. David, Roy H. Campbell
- Building a Self-Healing Operating System
- iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support
- Context Switch Overheads for Linux on ARM Platforms Francis M. David
- Porting Choices to ARM Architecture Based Platforms Francis M. David, Ellick M. Chan, Jeffrey C. Carlyle, Roy H. Campbell
- Rqy H. Campbell, Nayeem Islam, David Raila and PeterMadany DESIGNING AND IMPLEMENTING
- c Copyright by David Wayne Dykstra
- A DEVICE MANAGEMENT FRAMEWORK FOR AN OBJECT-ORIENTED OPERATING SYSTEM
- Back in a Flash! -Fast Recovery using Non-Volatile Memory Jeffrey C. Carlyle, Francis M. David, Roy H. Campbell
- Building a Self-Healing Operating System Francis M. David, Roy H. Campbell
- Exception Handling in the Choices Operating Francis M. David, Jeffrey C. Carlyle, Ellick M. Chan, David K. Raila, and
- CuriOS: Improving Reliability through Operating System Structure Francis M. David, Ellick M. Chan, Jeffrey C. Carlyle, Roy H. Campbell
- Context Switch Overheads for Linux on ARM Platforms
- Improving Dependability by Revisiting Operating System Design Francis M. David, Jeffrey C. Carlyle, Ellick M. Chan, Philip A. Reames, Roy H. Campbell
- Exploring Recovery from Operating System Lockups Francis M. David, Jeffrey C. Carlyle, Roy H. Campbell
