Dynamic Race Detection With O(1) Samples

Mosaad Al Thokair, Minjian Zhang, Umang Mathur +1

Happens before-based dynamic analysis is the go-to technique for detecting data races in large scale software projects due to the absence of false positive reports. However, such a…