Kevin Boos

According to our database, Kevin Boos authored at least 14 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Combining Type Checking and Formal Verification for Lightweight OS Correctness.

Ramla Ijaz, Kevin Boos, Lin Zhong

CoRR, January, 2025

2023

Leveraging Rust for Lightweight OS Correctness.

Ramla Ijaz, Kevin Boos, Lin Zhong

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

2020

Theseus: an Experiment in Operating System Structure and State Management.

Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2017

Theseus: a State Spill-free Operating System.

Kevin Boos, Lin Zhong

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

A Characterization of State Spill in Modern Operating Systems.

Kevin Boos, Emilio Del Vecchio, Lin Zhong

Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016

FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization.

Kevin Boos, David Chu, Eduardo Cuervo

GetMobile Mob. Comput. Commun., 2016

Demo: FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization.

Kevin Boos, David Chu, Eduardo Cuervo

Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

2015

Rio: I/O Sharing Between Mobile Systems.

Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong

GetMobile Mob. Comput. Commun., 2015

Eliminating State Entanglement with Checkpoint-based Virtualization of Mobile OS Services.

Kevin Boos, Ardalan Amiri Sani, Lin Zhong

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014

Video: Rio: a system solution for sharing i/o between mobile systems.

Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong

Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Demo: Rio: a system solution for sharing I/O between mobile systems.

Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong

Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Rio: a system solution for sharing i/o between mobile systems.

Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong

Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

I/o paravirtualization at the device file boundary.

Ardalan Amiri Sani, Kevin Boos, Shaopu Qin, Lin Zhong

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2012

BRACE: An assertion framework for debugging cyber-physical systems.

Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim

Proceedings of the 34th International Conference on Software Engineering, 2012