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