Andreev, D., A. Antonov, V. Voevodin, S. Zhumatii, D. Nikitenko, K. Stefanov, and P. Shvets. “A System for the Automated Finding of Inefficiencies and Errors in Parallel Programs”. Numerical Methods and Programming (Vychislitel’nye Metody I Programmirovanie), vol. 14, no. 37, Aug. 2013, pp. 48-53, https://en.num-meth.ru/index.php/journal/article/view/733.