R Kulkarni, U Mathur, A Pavlogiannis - 32nd International Conference on …, 2021 - cs.emis.de
Data races are among the most common bugs in concurrency. The standard approach to
data-race detection is via dynamic analyses, which work over executions of concurrent …