Silas Boyd-Wickizer Haibo Chen Rong Chen Yandong Mao M. Frans Kaashoek Robert Morris Aleksey Pesterev Lex Stein Ming Wu Yue-hua Dai Yang Zhang Zheng Zhang Corey: An Operating System for Many Cores. 43-57 2008 OSDI http://www.usenix.org/events/osdi08/tech/full_papers/boyd-wickizer/boyd-wickizer.pdf conf/osdi/2008 db/conf/osdi/osdi2008.html#Boyd-WickizerCCMKMPSWDZZ08