The benefits and costs of writing a POSIX kernel in a high-level language.

Cody Cutler, M. Frans Kaashoek, Robert T. Morris

Browse the full OSDI paper archive.