The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language [pdf]usenix.org9 pointsgtirloni5 years ago