rise

page 1 of 2

Architecture Behind CAT.NET

Posted By: Jossie | Jun 29th @ 3:24 PM
Comments: 0

Ben Livshits and Emre Kiciman …ce Profiling of AJAX web sites

Posted By: peli | Jun 22nd @ 11:34 AM
Comments: 0

Sebastian Burckhardt - Data Race Detection with CHESS

Posted By: peli | Jun 12th @ 11:31 AM
Comments: 4

Margus Veanes and Pavel Grigor…Symbolic SQL Query Exploration

Posted By: peli | Jun 2nd @ 4:59 PM
Comments: 0

RiSE at the International Conference on Software Engineering

Posted By: Wolfram | May 14th @ 12:07 PM
Comments: 2

Manuel Fahndrich and Peli de H…ergy of Code Contracts and Pex

Posted By: peli | Apr 23rd @ 11:59 AM
Comments: 9

Herman Venter - The Common Compiler Infrastruture goes Open Source

Posted By: peli | Apr 15th @ 3:49 PM
Comments: 12

Ben Livshits and Ben Zorn - He…g Attack Detection with Nozzle

Posted By: peli | Mar 25th @ 10:11 AM
Comments: 0

Mike Barnett - Getting started…ontracts in Visual Studio 2008

Posted By: peli | Feb 23rd @ 2:40 PM
Comments: 11

Ben Zorn - Memory robustness with RobustHeap

Posted By: peli | Feb 8th @ 9:46 PM
Comments: 2

Michal Moskal - VCC, The Verifying C Compiler

Posted By: peli | Jan 30th @ 2:25 AM
Comments: 0

Ethan Jackson - Specifying Cloud Applications

Posted By: peli | Jan 19th @ 12:03 PM
Comments: 2

Getting started with Pex in Visual Studio 2008

Posted By: peli | Jan 14th @ 11:38 AM
Comments: 12

Madan Musuvathi - Getting started with CHESS in Visual Studio 2008

Posted By: peli | Jan 14th @ 10:40 AM
Comments: 0

EMIC - Software Verification

Posted By: Lori | Dec 17th, 2008 @ 8:57 AM
Comments: 0

CHESS: An Automated Concurrency Testing Tool

Posted By: Charles | Dec 10th, 2008 @ 1:46 PM
Comments: 15

Nachi Nagappan - Experimental study about Test Driven Development

Posted By: peli | Dec 9th, 2008 @ 11:59 AM
Comments: 1

RiSE at the Principles of Programming Languages' 09

Posted By: peli | Dec 5th, 2008 @ 4:10 PM
Comments: 5
page 1 of 2
Microsoft Communities