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