Heard of Windows 8? Learn all about Windows 8 and what Microsoft's plans are for the next version of Windows due in 2012. Click the Windows 8 orb above!
This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 Unported License.
(View Legal Code)
More confirmation of Microsoft’s Midori OS.
(Follow me on Twitter: msftkitchen)
Today, Mary Jo Foley posted a follow-up to her initial exclusive of Microsoft’s Midori OS. In addition to her follow-up, I would like to contribute to the confirmation of Midori by linking to yet another presentation I found on Microsoft’s Research site. It is a presentation given by Shaz Qadeer of the Microsoft Research “Software Reliability Research” group at Princeton University in December of 2007. (How on earth had Midori not been mentioned by someone a part of that lecture???) In a section of the presentation, Shaz discusses CHESS, which not-so-coincidentally happens to be exactly the same thing discussed for the previously noted mention of Midori by Shaz in this presentation, first noted in an article by softpedia.com. There’s nothing special in this latest presentation unless you understand its contents from the technical perspectives in which it was written (I don’t… I’m not even gonna lie. lol). For the purpose of this post, slide 38 says “Midori OS”. There’s nothing like multiple confirmations on something of such apparent importance to Microsoft.
Windows 8 planning confirmation and more Midori OS confirmation. Not a bad day! =)
Presentation Link: Taming concurrency: A program verification perspective
Reference: Shaz Qadeer, Microsoft Research
-Stephen
