Система автоматизированного поиска ошибок и неэффективностей в параллельных программах | AMiner