Operating systems 2009 2009-01-19 OSDI '08 - CuriOS: Improving Reliability Through Operating System Structure 2009-01-14 OSDI '08: Corey, an operating system for many cores