Роскошный Я.И., Цителов Д.И., Трифанов В.Ю., Елизаров Р.А. Применение статического анализа для оптимизации динамического поиска гонок. Инструменты и методы анализа программ - 2015. Tools & Methods of Program Analysis (TMPA-2015): Материалы Международной научно-практической конференции (Санкт-Петербург, 12-14ноября 2015г.). 2015. С. 21-26.