@inproceedings {222627, author = {Cody Cutler and M. Frans Kaashoek and Robert T. Morris}, title = {The benefits and costs of writing a {POSIX} kernel in a high-level language}, booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)}, year = {2018}, isbn = {978-1-939133-08-3}, address = {Carlsbad, CA}, pages = {89--105}, url = {https://www.usenix.org/conference/osdi18/presentation/cutler}, publisher = {USENIX Association}, month = oct } @inproceedings {270216, author = {Nickolai Zeldovich and Alexander Yip and Frank Dabek and Robert T. Morris and David Mazi{\`e}res}, title = {Multiprocessor Support for {Event-Driven} Programs}, booktitle = {2003 USENIX Annual Technical Conference (USENIX ATC 03)}, year = {2003}, address = {San Antonio, TX}, url = {https://www.usenix.org/conference/2003-usenix-annual-technical-conference/multiprocessor-support-event-driven-programs}, publisher = {USENIX Association}, month = jun }