Cody Cutler, M. Frans Kaashoek, Robert Tappan Morris. The benefits and costs of writing a POSIX kernel in a high-level language. In Andrea C. Arpaci-Dusseau, Geoff Voelker, editors, 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018. pages 89-105, USENIX Association, 2018. [doi]
Abstract is missing.