computer science 2009 2009-06-29 SOSP 2009 Program Available 2009-01-14 OSDI '08: Corey, an operating system for many cores