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

Sebastian Burckhardt

Senior Principal Researcher