Trials and Tribulations in Synthesizing Operating Systems.

Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer

Browse the full SOSP paper archive.