osdi 2009 2009-03-03 OSDI '08: FlightPath: Obedience vs. Choice in Cooperative Services 2009-01-19 OSDI '08 - CuriOS: Improving Reliability Through Operating System Structure 2009-01-14 OSDI '08: Corey, an operating system for many cores