Theseus: a State Spill-free Operating System.

Kevin Boos, Lin Zhong

Browse the full SOSP paper archive.