October 19, 2017

Open-sourcing RacerD: Fast static race detection at scale

By: Sam Blackshear, Peter O'Hearn