We built a research operating system prototype (called Singularity), extended programming languages, and developed new techniques and tools for specifying and verifying program behavior. Advances in ...

If anywhere near accurate, this means almost 60 million Windows 10 users have upgraded. Clearly, May could have been a ...