Kevin Boos

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