Theseus: A state spill-free operating system
Kevin Boos, Lin Zhong[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 9th Workshop on Programming Languages and Operating Systems
PLOS'17
Shanghai, China
Association for Computing Machinery
New York, NY, USA
Pages 29-35
2017
Note(s): Rust language, Operating Systems
PLOS'17
Shanghai, China
Association for Computing Machinery
New York, NY, USA
Pages 29-35
2017
Note(s): Rust language, Operating Systems