[PRL] Singularity project at MS

[Mitchell Wand]

Saw an interesting talk at Harvard this afternoon about the Singularity 
project at MSR.  Some key points:

-- safe (typesafe, GC) language (extended Spec#) down through the Kernel 
level.
-- lots of [allegedly sound] static analysis to enable aggresive 
optimizing compilers to enable integration across module boundaries.
-- multiple processes run in a single address space, using the language 
guarantees instead of run-time hardware checks to guarantee process 
integrity.
-- module interfaces include specification of channel protocols, etc., 
not just types.

Sounds nifty:  like what Olin has been saying for years + all the static 
analysis stuff.

Not intended as a product, but will be made available for researchers 
(in a year or so, sooner if you sign an NDA).

--Mitch

Project home page: http://research.microsoft.com/os/singularity/
A review: http://pl.atyp.us/wordpress/?p=991