CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

Établi : October 1, 2008

Personne

Portrait de Peli de Halleux

Peli de Halleux

Principal Research Software Engineer

Portrait de Madan Musuvathi

Madan Musuvathi

Partner Research Manager

Portrait de Sebastian Burckhardt

Sebastian Burckhardt

Senior Principal Researcher