CHESS: Find and Reproduce Concurrency Heisenbugs
This blog contains articles about CHESS, a tool from Microsoft Research. For more details visit https://research.microsoft.com/chess
CHESS release v0.1.30610.2: Data Race Detection, ChessBoard, Refinement Checking
The CHESS team is happy to announce a new release of CHESS, which includes a whole bunch of new...
Date: 06/12/2009
Getting the most out of CHESS
Hi, this is Shaz Qadeer from the CHESS team. If you have visited our blog before, you have probably...
Date: 02/17/2009
Stress vs. CHESS
Hey there... it's time for another post. My name is Sebastian Burckhardt, I am a member of the CHESS...
Date: 02/02/2009
The CHESS scheduler – the key to finding concurrency bugs
Hey everyone, I am Madan Musuvathi, the architect of CHESS. In this blog, I will describe the CHESS...
Date: 01/20/2009
Welcome to the CHESS blog
CHESS is a tool from Microsoft Research that helps you better test concurrent programs. You can use...
Date: 01/08/2009