CHESS: Find and Reproduce Concurrency Heisenbugs

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 scheduler, a key component of CHESS. Before I start, if you haven’t seen Tom’s previous post about the CHESS Devlabs release, you should. Download CHESS,

CHESS Release on MSDN DevLabs

Hi. This is Tom Ball . I am a Principal Researcher at Microsoft Research , where I manage the Software Reliability Research group in the Research in Software Engineering area. On behalf of the CHESS team, I am happy to announce our first DevLabs pre-release

Welcome to the CHESS blog

CHESS is a tool from Microsoft Research that helps you better test concurrent programs. You can use CHESS to systematically drive your programs into different thread interleavings, flushing out a lot of bugs in this process. Once a bug is found, CHESS