| 2020 | OSDI | Theseus: an Experiment in Operating System Structure and State Management. | Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong |
| 2017 | EuroSys | A Characterization of State Spill in Modern Operating Systems. | Kevin Boos, Emilio Del Vecchio, Lin Zhong |
| 2017 | SOSP | Theseus: a State Spill-free Operating System. | Kevin Boos, Lin Zhong |
| 2016 | Mobisys | FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization. | Kevin Boos, David Chu, Eduardo Cuervo |
| 2016 | Mobisys | Demo: FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization. | Kevin Boos, David Chu, Eduardo Cuervo |
| 2014 | ASPLOS | I/o paravirtualization at the device file boundary. | Ardalan Amiri Sani, Kevin Boos, Shaopu Qin, Lin Zhong |
| 2014 | Mobisys | Rio: a system solution for sharing i/o between mobile systems. | Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong |
| 2014 | Mobisys | Demo: Rio: a system solution for sharing I/O between mobile systems. | Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong |
| 2014 | Mobisys | Video: Rio: a system solution for sharing i/o between mobile systems. | Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong |
| 2012 | ICSE | BRACE: An assertion framework for debugging cyber-physical systems. | Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim |