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
The CHESS team is happy to announce a new release of CHESS, which includes a whole bunch of new...
Date: 06/12/2009
Hi, this is Shaz Qadeer from the CHESS team. If you have visited our blog before, you have probably...
Date: 02/17/2009
Hey there... it's time for another post. My name is Sebastian Burckhardt, I am a member of the CHESS...
Date: 02/02/2009
Hey everyone, I am Madan Musuvathi, the architect of CHESS. In this blog, I will describe the CHESS...
Date: 01/20/2009
CHESS is a tool from Microsoft Research that helps you better test concurrent programs. You can use...
Date: 01/08/2009