Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
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