November 3, 2018
RacerD: Compositional Static Race Detection
Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)
Automatic static detection of data races is one of the most basic problems in reasoning about concurrency. We present RacerD—a static program analysis for detecting data races in Java programs which is fast, can scale to large code, and has proven effective in an industrial software engineering scenario.
By: Sam Blackshear, Nikos Gorogiannis, Peter O'Hearn, Ilya Sergey