Kevin Boos

Orcid: 0009-0004-6423-214X

According to our database1, Kevin Boos authored at least 13 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Leveraging Rust for Lightweight OS Correctness.
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

2020
Theseus: an Experiment in Operating System Structure and State Management.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2017
Theseus: a State Spill-free Operating System.
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

A Characterization of State Spill in Modern Operating Systems.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016
FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization.
GetMobile Mob. Comput. Commun., 2016

Demo: FlashBack: Immersive Virtual Reality on Mobile Devices via Rendering Memoization.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

2015
Rio: I/O Sharing Between Mobile Systems.
GetMobile Mob. Comput. Commun., 2015

Eliminating State Entanglement with Checkpoint-based Virtualization of Mobile OS Services.
Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014
Video: Rio: a system solution for sharing i/o between mobile systems.
Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Demo: Rio: a system solution for sharing I/O between mobile systems.
Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Rio: a system solution for sharing i/o between mobile systems.
Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

I/o paravirtualization at the device file boundary.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2012
BRACE: An assertion framework for debugging cyber-physical systems.
Proceedings of the 34th International Conference on Software Engineering, 2012


  Loading...