K Boos, N Liyanage, R Ijaz, L Zhong - … of the 14th USENIX Conference on …, 2020 - dl.acm.org
This paper describes an operating system (OS) called Theseus. Theseus is the result of
multi-year experimentation to redesign and improve OS modularity by reducing the states …