Verve: A Type Safe Operating System

| |

The Singularity project (an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, MSR released a paper covering an operating system research project that takes a new approach to building an OS stack with verifiable and type safe managed code...

Share This Post:

Previous

ChangeBASE announces inclusion in Microsoft Jumpstart Programme

What's Next at Microsoft?

Next