Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe. Decoupling Cores, Kernels, and Operating Systems. In Jason Flinn, Hank Levy, editors, 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014. pages 17-31, USENIX Association, 2014. [doi]
Abstract is missing.