Andrew Baumann Paul Barham Pierre-Évariste Dagand Timothy L. Harris Rebecca Isaacs Simon Peter Timothy Roscoe Adrian Schüpbach Akhilesh Singhania The multikernel: a new OS architecture for scalable multicore systems. 29-44 2009 SOSP http://doi.acm.org/10.1145/1629575.1629579 conf/sosp/2009 db/conf/sosp/sosp2009.html#BaumannBDHIPRSS09