Search
Sign In
Home
Recent
Media
Videos
Podcasts
Screencasts
Learn
Shows
The History of Microsoft
endpoint.tv
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
Feature Overview - Regional and Language Settings
Using the SharePoint Business …nnectivity Designer in VS 2010
What you are saying
Reactive PDC
Forum:
The Coffeehouse
Posted By:
exoteric
Today @ 3:12 PM
Comments:
0
VS 2005 SQL report OutOfMemory in Preview
Forum:
Tech Off
Posted By:
qwert231
Today @ 2:24 PM
Comments:
0
@Mobile Dev.
Forum:
The Coffeehouse
Posted By:
Dovella
Today @ 1:56 PM
Comments:
0
Channel 10:
What Azure Looks Like
ASP.NET:
Orchard team looking for a new developer
WindowsClient:
Surface SDK 1.0 SP1 supports XNA Game Studio 3.0 and later
Channel 9:
Using the SharePoint Business Data Connectivity Designer in VS 2010
Channel 9:
10-4 Episode 36: Windows Server AppFabric and Workflow Services Lab
WindowsClient:
New WPF Features: DatePicker\Calendar\VSM\Datagrid
TechNet Edge:
IT Pro Momentum y Evidencias
ASP.NET:
Enabling the ASP.NET Ajax script loader for your own scripts
ASP.NET:
Building High Performance Web Applications
WindowsClient:
RIA Services: A DomainService IS A WCF Service – Add Service Reference
Silverlight:
LIDNUG: Online chat with me Monday Nov 23rd
ASP.NET:
Recent Podcasts
Silverlight:
Silverlight 4 NotificationWindow and Queuing multiple notifications
WindowsClient:
Fishbowl: A WPF Front-end for Facebook, with Full Source
Silverlight:
Fixing Visual Studio 2010 and Blend Preview for .NET 4 integration
Silverlight:
RIA Services templates not showing in Visual Studio 2010?
Silverlight:
Microsoft PDC09 and Silverlight Round-up
WindowsClient:
TestApi v0.4 Released!
WindowsClient:
Karl Shifflett’s WPF and Silverlight shared design-time code
ASP.NET:
T4MVC 2.5.01: added support for Html.RenderAction and Html.Action
close
Microsoft Communities
ASP.NET
Channel 8
Channel 9
Channel 10
IIS.NET
Silverlight
TechNet Edge
WindowsClient
Mix Online