BRACE: An assertion framework for debugging cyber-physical systems. - Kevin Boos; Chien-Liang Fok; Christine Julien 001; Miryung Kim (ICSE, 2012)

I/o paravirtualization at the device file boundary. - Ardalan Amiri Sani; Kevin Boos; Shaopu Qin; Lin Zhong 001 (ASPLOS, 2014)

Rio: a system solution for sharing i/o between mobile systems. - Ardalan Amiri Sani; Kevin Boos; Min Hong Yun; Lin Zhong 001 (MobiSys, 2014)

Demo: Rio: a system solution for sharing I/O between mobile systems. - Ardalan Amiri Sani; Kevin Boos; Min Hong Yun; Lin Zhong 001 (MobiSys, 2014)

Video: Rio: a system solution for sharing i/o between mobile systems. - Ardalan Amiri Sani; Kevin Boos; Min Hong Yun; Lin Zhong 001 (MobiSys, 2014)

Eliminating State Entanglement with Checkpoint-based Virtualization of Mobile OS Services. - Kevin Boos; Ardalan Amiri Sani; Lin Zhong 001 (APSys, 2015)

Rio: I/O Sharing Between Mobile Systems. - Ardalan Amiri Sani; Kevin Boos; Min Hong Yun; Lin Zhong 001 (GetMobile Mob. Comput. Commun., 2015)

Demo: FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization. - Kevin Boos; David Chu; Eduardo Cuervo (MobiSys (Companion Volume), 2016)

FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization. - Kevin Boos; David Chu; Eduardo Cuervo (GetMobile Mob. Comput. Commun., 2016)

A Characterization of State Spill in Modern Operating Systems. - Kevin Boos; Emilio Del Vecchio; Lin Zhong 001 (EuroSys, 2017)

Theseus: a State Spill-free Operating System. - Kevin Boos; Lin Zhong 001 (PLOS@SOSP, 2017)

Theseus: an Experiment in Operating System Structure and State Management. - Kevin Boos; Namitha Liyanage; Ramla Ijaz; Lin Zhong 001 (OSDI, 2020)

Leveraging Rust for Lightweight OS Correctness. - Ramla Ijaz; Kevin Boos; Lin Zhong 001 (KISV@SOSP, 2023)

Combining Type Checking and Formal Verification for Lightweight OS Correctness. - Ramla Ijaz; Kevin Boos; Lin Zhong 001 (CoRR, 2025)