CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

成立时间：October 1, 2008

人员

Peli de Halleux

Principal Research Software Engineer

Madan Musuvathi

Partner Research Manager

Sebastian Burckhardt

Senior Principal Researcher

Thomas Ball

Partner Researcher