Decoupling Cores, Kernels, and Operating Systems.

Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe

Browse the full OSDI paper archive.