Search
Sign In
Home
Recent
Media
Videos
Podcasts
Screencasts
Learn
Shows
Going Deep
The Knowledge Chamber
The Continuum Show
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:
3
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
Microsoft Security Development…L) and Software Security Today
Windows Identity Foundation RC is here!
What you are saying
Mobile Marketplace for Freeware?
Forum:
The Coffeehouse
Posted By:
Slothie
Nov 7th @ 10:57 PM
Comments:
0
Ohio State Windows 7 Install Fest!
Forum:
The Coffeehouse
Posted By:
intelman
Nov 7th @ 8:24 PM
Comments:
0
Jason & Charles Future Interview Pair-Up
Forum:
Site Feedback
Posted By:
HeavensRevenge
Nov 7th @ 7:58 PM
Comments:
0
WindowsClient:
Several WPF Localization questions
WindowsClient:
Several WPF Localization questions
ASP.NET:
http://silverlight.net/riaservices/ is Live!
Silverlight:
Commitments
Silverlight:
Commitments
Silverlight:
Subscribe to 62 Silverlight Twitter’ers.
WindowsClient:
XAML for WinMo6.5?
ASP.NET:
Neat VS10 Feature: Pinning A Debugger Watch
Mix Online:
When Projects Fall Apart
Channel 9:
Microsoft Security Development Lifecycle (SDL) and Software Security Today
Silverlight:
Designer v Xaml v Code
Channel 9:
Windows Identity Foundation RC is here!
Mix Online:
Calculating Risk
Channel 10:
Adding Flip 3D to Windows 7's Taskbar
Channel 10:
Workshare Releases New Tool for Comparing PowerPoint Presentations
Channel 10:
Windows 7 Market Share Climbing Fast
Channel 10:
Interview with one of Windows 7's Artists
WindowsClient:
New WPF Features: Full Trust Xbap Deployment
ASP.NET:
Recap of Oredev and some .net debugging videos
Channel 9:
Microsoft Help Viewer - New Help System in Visual Studio 2010
close
Microsoft Communities
ASP.NET
Channel 8
Channel 9
Channel 10
IIS.NET
Silverlight
TechNet Edge
WindowsClient
Mix Online