Race Detection in Two Dimensions
Dimitar I. Dimitrov, Martin Vechev, Vivek Sarkar · 2015
Dynamic data race detection is a program analysis technique for detecting errors provoked by undesired interleavings of concurrent threads. A primary challenge when designing efficient race detection algorithms is to achieve manageable space requirements.