CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

設立年月日:October 1, 2008年

人数

Peli de Halleuxの肖像

Peli de Halleux

Principal Research Software Engineer

Sebastian Burckhardtの肖像

Sebastian Burckhardt

Senior Principal Researcher