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 Sebastian Burckhardt

Sebastian Burckhardt

Senior Principal Researcher