What&#x27;s that have to do with OS research? You should look at Microsoft Research&#x27;s pages if you want to judge them on R&amp;D or innovation. They do a lot of great stuff. The Midori project pushes the envelope in tons of ways that you&#x27;re not going to see in most FOSS communities. That&#x27;s the value of having lots of bright people in one place &amp; paid to stay focused on the goal over long periods.<p>Another great example is their VerveOS work for highly-assured OS&#x27;s:<p><a href="https:&#x2F;&#x2F;people.csail.mit.edu&#x2F;jeanyang&#x2F;papers&#x2F;pldi117-yang.pdf" rel="nofollow">https:&#x2F;&#x2F;people.csail.mit.edu&#x2F;jeanyang&#x2F;papers&#x2F;pldi117-yang.pd...</a><p>Xax for legacy code protection was clever, too:<p><a href="http:&#x2F;&#x2F;research.microsoft.com&#x2F;pubs&#x2F;72878&#x2F;xax-osdi08.pdf" rel="nofollow">http:&#x2F;&#x2F;research.microsoft.com&#x2F;pubs&#x2F;72878&#x2F;xax-osdi08.pdf</a>