CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

설립: October 1, 2008

인원

Peli de Halleux

Principal Research Software Engineer

더 보기

Madan Musuvathi

Partner Research Manager

더 보기

Sebastian Burckhardt

Senior Principal Researcher

더 보기