Theseus: a State Spill-free Operating System.

Kevin Boos Lin Zhong

Published in: PLOS@SOSP (2017)

Keyphrases

operating system
computer systems
microsoft windows
distributed systems
virtual machine
memory management
virtual memory
address space
multi tasking
high speed
application level
linux kernel
red hat
data mining
windows xp
multi threaded
general purpose
object oriented
information systems