1 paper
Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
RacerD is a static race detector that has been proven to be effective in engineering practice: it has seen thousands of data races fixed by developers before reaching production, a…