Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs.

Kunal Banerjee, Soumyadip Banerjee, Santonu Sarkar

Browse the full PLDI paper archive.