В. Ю. Трифанов and Д. И. Цителов, “Динамические средства обнаружения гонок в параллельных программах”, CTE, no. 6, Jan. 2014.