Exception Handling in the Choices Operating System. - Francis M. David; Jeffrey C. Carlyle; Ellick Chan; David Raila; Roy H. Campbell (Advanced Topics in Exception Handling Techniques, 2006)

iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support. - Lin Tan 001; Ellick Chan; Reza Farivar 002; Nevedita Mallick; Jeffrey C. Carlyle; Francis M. David; Roy H. Campbell (DASC, 2007)

Context switch overheads for Linux on ARM platforms. - Francis M. David; Jeffrey C. Carlyle; Roy H. Campbell (Experimental Computer Science, 2007)

Supporting Adaptive Application Mobility. - Francis M. David; Bill Donkervoet; Jeffrey C. Carlyle; Ellick Chan; Roy H. Campbell (OTM Workshops (2), 2007)

Exploring Recovery from Operating System Lockups. - Francis M. David; Jeffrey C. Carlyle; Roy H. Campbell (USENIX ATC, 2007)

BootJacker: compromising computers using forced restarts. - Ellick Chan; Jeffrey C. Carlyle; Francis M. David; Reza Farivar 002; Roy H. Campbell (CCS, 2008)

CuriOS: Improving Reliability through Operating System Structure. - Francis M. David; Ellick Chan; Jeffrey C. Carlyle; Roy H. Campbell (OSDI, 2008)

Cloaker: Hardware Supported Rootkit Concealment. - Francis M. David; Ellick Chan; Jeffrey C. Carlyle; Roy H. Campbell (SP, 2008)