Search
Sign In
Home
Recent
Media
Videos
Podcasts
Screencasts
Learn
Shows
This Week On Channel 9
The History of Microsoft
Going Deep
See All Shows...
Forums
Coffeehouse
Tech Off
Feedback
Sandbox
Key Topics
Visual Studio
Continuum
Identity
Interoperability
Azure
Windows
Wiki
Search
Subscribe
rise
Subscribe:
RSS
iPod/MP4
Zune
page 1 of 2
SpecExplorer: Model-Based Testing made practicable
Posted By:
peli
|
Oct 26th
Comments:
4
Emre Kiciman and Ben Livshits …ime Optimizer for Web 2.0 Apps
Posted By:
peli
|
Oct 5th
Comments:
0
Daryl Zuniga - Viewing Code Contracts.NET in Visual Studio
Posted By:
peli
|
Sep 21st
Comments:
8
Trishul Chilimbi - Green - Energy Efficient Software
Posted By:
peli
|
Sep 15th
Comments:
2
Daryl Zuniga and Mike Barnett …n from Code Contracts for .Net
Posted By:
peli
|
Aug 10th
Comments:
12
Ethan Jackson - BAM - Cloud Computing with Models
Posted By:
peli
|
Aug 3rd
Comments:
1
Patrice Godefroid - Automated Whitebox Fuzz Testing with SAGE
Posted By:
peli
|
Jul 14th
Comments:
4
Architecture Behind CAT.NET
Posted By:
Jossie
|
Jun 29th
Comments:
0
Ben Livshits and Emre Kiciman …ce Profiling of AJAX web sites
Posted By:
peli
|
Jun 22nd
Comments:
0
Sebastian Burckhardt - Data Race Detection with CHESS
Posted By:
peli
|
Jun 12th
Comments:
10
Margus Veanes and Pavel Grigor…Symbolic SQL Query Exploration
Posted By:
peli
|
Jun 2nd
Comments:
0
RiSE at the International Conference on Software Engineering
Posted By:
Wolfram
|
May 14th
Comments:
2
Manuel Fahndrich and Peli de H…ergy of Code Contracts and Pex
Posted By:
peli
|
Apr 23rd
Comments:
9
Herman Venter - The Common Compiler Infrastruture goes Open Source
Posted By:
peli
|
Apr 15th
Comments:
8
Ben Livshits and Ben Zorn - He…g Attack Detection with Nozzle
Posted By:
peli
|
Mar 25th
Comments:
0
Mike Barnett - Getting started…ontracts in Visual Studio 2008
Posted By:
peli
|
Feb 23rd
Comments:
11
Ben Zorn - Memory robustness with RobustHeap
Posted By:
peli
|
Feb 8th
Comments:
2
Michal Moskal - VCC, The Verifying C Compiler
Posted By:
peli
|
Jan 30th
Comments:
0
page 1 of 2
Related Tags
code contracts
Microsoft Research
PEX
research
Software Engineering Research
Testing
Visual Studio
See All Tags...
What you are watching
TWC9: XAML tools, Silverlight for Live Writer, Surface SDK,
VB 2010
What you are saying
Zune Social interface is wonderful
Forum:
The Coffeehouse
Posted By:
intelman
Nov 28th @ 3:33 PM
Comments:
0
Recording video in Windows Mobile 5.0/6.0
Forum:
Tech Off
Posted By:
Papillion
Nov 28th @ 11:18 AM
Comments:
0
3D Map, Human Interface and Social Game
Forum:
The Coffeehouse
Posted By:
femtobeam
Nov 28th @ 10:08 AM
Comments:
0
Channel 9:
TWC9: XAML tools, Silverlight for Live Writer, Surface SDK,
Channel 9:
C9 Conversations: Brian Beckman on Complexity [C9 Conversations: Brian Beckman on Complexity]
Channel 10:
Black Friday Deals on Windows 7 Machines
Channel 10:
Holiday Shopping on Bing Cashback = Big Online Savings
Channel 10:
Black Friday Deals at the Microsoft Store
Channel 10:
Incredible Black Friday Deal: Windows 7 Notebook for $197
ASP.NET:
Presenting in Europe Next Week
TechNet Edge:
AlignIT IT Manager Podcast #30 - Straight Talk about Windows 7
WindowsClient:
You know your post rate has gone down...
Silverlight:
Geek Profiles – Scott Guthrie
Channel 9:
C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 9 of 13
TechNet Edge:
Managing Your Virtual World - Tech Focus November 2009 Part 2
ASP.NET:
Silverlight and RIA Services: Implementing Search
Channel 9:
C9 Lectures: Brian Beckman - Covariance and Contravariance in Physics 1 of 1
Channel 9:
Set Your Data Free
Channel 9:
Implementing a Silverlight SharePoint WebPart with Visual Studio 2010
WindowsClient:
New WPF Showcase Addition: Enterprise
Channel 9:
Reactive Extensions API in depth: Contract
WindowsClient:
Concluding "New WPF Features" Series
WindowsClient:
Introduction to TestApi – Part 5: Managed Code Fault Injection APIs
close
Microsoft Communities
ASP.NET
Channel 8
Channel 9
Channel 10
IIS.NET
Silverlight
TechNet Edge
WindowsClient
Mix Online