CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

Established: October 1, 2008

People

Portrait of Peli de Halleux

Peli de Halleux

Principal Research Software Engineer

Portrait of Madan Musuvathi

Madan Musuvathi

Partner Research Manager

Portrait of Sebastian Burckhardt

Sebastian Burckhardt

Senior Principal Researcher

Portrait of Thomas Ball

Thomas Ball

Partner Researcher