CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

Established: October 1, 2008

People

Portrait of Peli de Halleux

Peli de Halleux

Principal RSDE

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