Announcing Verve – A Type-Safe Operating System

by James Vastbinder Follow 0 Followers on  Dec 08, 2010

Microsoft Research releases Verve, an operating system which grew out of the Singularity project, upon whose base premise is to use Typed Assembly Language, TAL, and Hoare logic to achieve the highest levels of security and safety.


Singularity: Microsoft's Open Source Operating System

by Jonathan Allen Follow 612 Followers on  Nov 18, 2008 1

The second release of the Singularity Research Development Kit is now available as both source code and as a bootable CD. Singularity is an operating system based almost entirely on managed code with a very high degree of isolation between processes. In an unusual move by Microsoft, Singularity is soliciting patches and offering full developer rights on CodePlex.


Microsoft Research Releases Singularity RDK

by Steven Robbins Follow 0 Followers on  Apr 03, 2008 1

On March 4th, the Singularity Research Development Kit (RDK) was released as an open source project on CodePlex. The RDK is based on the Singularity Project from Microsoft Research by Galen Hunt, Jim Larus and others. The Project web site said that Singularity itself is primarily about "the construction of dependable systems through innovation in the areas of systems, languages, and tools."


Cosmos - An Option To Singularity

by James Vastbinder Follow 0 Followers on  Feb 06, 2008

Just released to the public, Cosmos is an operating system implemented entirely in .NET compiled IL.


Singularity: Rethinking the Software Stack

by Greg Young Follow 14 Followers on  Jul 26, 2007 6

Singularity is a Microsoft research project aimed at producing a new operating system built for dependability. Relieved of commercially viable burdens such as backward compatibility, Singularity contains many alluring ways of solving classic problems using newer programming tools and methodologies. InfoQ spoke to the Singularity team to learn more.

Login to InfoQ to interact with what matters most to you.

Recover your password...


Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.


More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.


Stay up-to-date

Set up your notifications and don't miss out on content that matters to you