Wolf Rentzsch talks with Andrew Pontious about Microsoft's research OS, Singularity, which breaks through the stagnation of current operatings systems with innovative use of static analysis, communication channel contracts, and more.