Some time ago, Microsoft released a research OS called Singularity which had a number of very interesting and innovative ideas an concept. One of the components that I found particularly intriguing was the C#-ish compiler, Spec#, that could compile C# code into native machine code.
I was wondering if this project was still continuing?