The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.

Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho

Browse the full ATVA paper archive.