Microsoft provides its latest and most inventive ideas to the public in the form of experimental innovation projects on the DevLabs Homepage, that can be found under http://msdn.microsoft.com/devlabs.
The current projects are:
- Axum (Safe and productive parallel programming model for .NET)
- Chess (Finding and Reproducing Heisenbugs in Concurrent Programs)
- Code Contracts (Language-agnostic coding assumptions in .NET)
- Pex (Automated White Box Testing for .NET)
- Microsoft Popfly (Creating and sharing games the easy way)
- Small Basic (Learning a programming language the small and easy way)
Axum is especially interesting since it provides a whole new language approach to parallel programming, while Chess assures that Race conditions are identified and handled correctly.
Code Contracts and Pex aid in delivering robust and highly tested applications since they assure that functions are working as expected.
You may download, install and evaluate the projects to be prepared for their future releases and to participate in their development.
[DevLabs] DevLabs – Microsoft Innovation Projects