CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

Établi : October 1, 2008

Personne

Peli de Halleux

Principal Research Software Engineer

Madan Musuvathi

Partner Research Manager

Sebastian Burckhardt

Senior Principal Researcher

Thomas Ball

Partner Researcher