CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

Établi: 2017

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

Portrait de Thomas Ball

Thomas Ball

Partner Researcher