Accurate Static Data Race Detection for C.

Emerson Sales, Omar Inverso, Emilio Tuosto

Browse the full FM paper archive.