Singularity was a multi-year research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. 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 languages, compilers, and tools open th
![Singularity - Microsoft Research](https://cdn-ak-scissors.b.st-hatena.com/image/square/99740e59491b2457309a3c1d3eb06ea870086d27/height=288;version=1;width=512/https%3A%2F%2Fwww.microsoft.com%2Fen-us%2Fresearch%2Fuploads%2Fprod%2F2016%2F02%2F%2Fsingularity-singularityteam2008.jpg)