Theseus: a State Spill-free Operating System

Kevin Boos, Lin Zhong. Theseus: a State Spill-free Operating System. In Julia Lawall, editor, Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017. pages 29-35, ACM, 2017. [doi]

Abstract

Abstract is missing.