A. Sen and O. Kalaci, “Hybrid Data Race Detection for Multicore Software”, Comput. Inform., vol. 37, no. 1, pp. 186–212, May 2018.