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...

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...

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...