LLOV: A Fast Static Data-Race Checker for OpenMP Programs. - Utpal Bora 001; Santanu Das; Pankaj Kukreja; Saurabh Joshi 001; Ramakrishna Upadrasta; Sanjay V. Rajopadhye (ACM Trans. Archit. Code Optim., 2020)