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