I happened to be looking at Tony 'Quicksort' Hoare's page at Microsoft Research and I noticed this:

"His research goal was to understand why operating systems were so much more difficult than compilers"

http://research.microsoft.com/en-us/people/thoare/