Источник инноваций

С каждой версией в .NET появляется что-то новое. Например, в .NET 4.0 добавлен Parallel extensions, и многое другое.

Источник инноваций - CSE (Center for Software Excellence) и RiSE (The Research in Software Engineering team).

Области исследований RiSE:

• Testing (ATG | CHESS | NModel | Pex | PPP | SpecExplorer | Stubs | Traver)
• Programming Language Design (FCP | RobustHeap | Singularity | Spec# | TAL | TPL)
• Concurrency (Chalice | CHESS | ORCS | Singularity | TPL)
• ...

Часть из проектов реализована; есть в открытом доступе. А для Singularity предоставляется исходный код (здесь).