Partager via


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