Kevin Boos

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Topics

Database Administrators

Virtual Reality

Top Venues

GetMobile Mob. Comput. Commun.

Publications

Ramla Ijaz, Kevin Boos, Lin Zhong
Leveraging Rust for Lightweight OS Correctness. KISV@SOSP (2023)
Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong
Theseus: an Experiment in Operating System Structure and State Management. OSDI (2020)
Kevin Boos, Lin Zhong
Theseus: a State Spill-free Operating System. PLOS@SOSP (2017)
Kevin Boos, Emilio Del Vecchio, Lin Zhong
A Characterization of State Spill in Modern Operating Systems. EuroSys (2017)
Kevin Boos, David Chu, Eduardo Cuervo
FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization. GetMobile Mob. Comput. Commun. 20 (4) (2016)
Kevin Boos, David Chu, Eduardo Cuervo
Demo: FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization. MobiSys (Companion Volume) (2016)
Kevin Boos, David Chu, Eduardo Cuervo
FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization. MobiSys (2016)
Kevin Boos, Ardalan Amiri Sani, Lin Zhong
Eliminating State Entanglement with Checkpoint-based Virtualization of Mobile OS Services. APSys (2015)
Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong
Rio: I/O Sharing Between Mobile Systems. GetMobile Mob. Comput. Commun. 19 (1) (2015)
Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong
Rio: a system solution for sharing i/o between mobile systems. MobiSys (2014)
Ardalan Amiri Sani, Kevin Boos, Shaopu Qin, Lin Zhong
I/o paravirtualization at the device file boundary. ASPLOS (2014)
Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong
Video: Rio: a system solution for sharing i/o between mobile systems. MobiSys (2014)
Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong
Demo: Rio: a system solution for sharing I/O between mobile systems. MobiSys (2014)
Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong
Rio: A System Solution for Sharing I/O between Mobile Systems. CoRR (2013)
Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim
BRACE: An assertion framework for debugging cyber-physical systems. ICSE (2012)