From eXtreme Computing Group @ Microsoft Research, The Singularity System:
a safe, modern programming language let Microsoft rethink the architectural trade-offs in its experimental operating system.
http://cacm.acm.org/magazines/2010/8/96608-the-singularity-system/fulltext