Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com

Mike Barnett and Daryl Zuniga showcase the Code Contracts Editor Extensions. The extensions integrate Code Contracts into the C# intellisense, the Code Definition View and even the editor text itself.
The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.
thanks
BUGBUG Contract documentation does not appear when calling a constructor containing a contract. Great tool otherwise!