"BigFoot: static check placement for dynamic race detection."

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics