46 citations · 46 across the 2 of their papers we have counts for
2 papers
cs.OS2024
Combining Type Checking and Formal Verification for Lightweight OS Correctness
Ramla Ijaz, Kevin Boos, Lin Zhong
This paper reports our experience of providing lightweight correctness guarantees to an open-source Rust OS, Theseus. First, we report new developments in intralingual design that…
cs.OS2013★ 46 cited
Rio: A System Solution for Sharing I/O between Mobile Systems
Ardalan Amiri Sani, Kevin Boos, Min Hong Yun +1
Mobile systems are equipped with a diverse collection of I/O devices, including cameras, microphones, sensors, and modems. There exist many novel use cases for allowing an applicat…