Operating systems 2011 2011-04-21 STM: Not (much more than) a research toy? 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 2008 2008-10-01 The Google File System