Andreev, D., Antonov, A., Voevodin, V., Zhumatii, S., Nikitenko, D., Stefanov, K. and Shvets, P. (2013) “A system for the automated finding of inefficiencies and errors in parallel programs”, Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie), 14(37), pp. 48–53. Available at: https://en.num-meth.ru/index.php/journal/article/view/733 (Accessed: 14 December 2025).