Answers are grounded in this paper and cite their sources.
Many concurrency bugs in multi-threaded programs are due to dataraces. There have been many efforts to develop static and dynamic mechanisms to automatically find the data races. Most of the prior work has focused on finding the data races and eliminating the false positives.
No takes yet. Share an insight, caveat, or question.
Narayanasamy et al. (2007) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: