Publications
News & features
News & features
Overview

People
Interns
- 2008
- Katherine Coons, University of Texas at Austin
- Alexander Malkis, Freiburg University
- Vasu Singh, EPFL
- 2007
- Gerard Basler, ETH Zurich
- Tayfun Elmas, Koc University
- Piramanayagam Arumuga Nainar, University of Wisconsin at Madison
- 2006
- Iulian Neamtiu, University of Maryland at College Park
CHESS Players
A number of people are experimenting with CHESS in course projects. The links below point to their project summaries. Thanks to these CHESS players for their work! Let us known if you have something to contribute!
-
Michael Bentley, Univ. Utah
-
Carson Jones, Univ. Utah
Additional information
- CHESS open source
- CHESS Tutorial at PLDI 2009 [slides: ppt, pdf]
- Channel 9 video on CHESS
- Listen to Scott Hanselman’s interview about CHESS at PDC (go to 28:10), watch the video of the CHESS PDC presentation
- MSDN article on Tools and Techniques to Identify Concurrency Issues