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

TitleThe benefits and costs of writing a {POSIX} kernel in a high-level language
Publication TypeConference Paper
Year of Publication2018
AuthorsCutler C, M. Kaashoek F, Morris RT
Conference Name13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)
Date Published10/2018
PublisherUSENIX Association
Conference LocationCarlsbad, CA
ISBN Number978-1-939133-08-3
URLhttps://www.usenix.org/conference/osdi18/presentation/cutler