CuriOS: Improving Reliability through Operating System Structure.

Francis M. David, Ellick Chan, Jeffrey C. Carlyle, Roy H. Campbell

Browse the full OSDI paper archive.