TY - RPRT TI - LLOV: A Fast Static Data-Race Checker for OpenMP Programs AU - Utpal Bora AU - Santanu Das AU - Pankaj Kukreja AU - Saurabh Joshi AU - Ramakrishna Upadrasta AU - Sanjay Rajopadhye PY - 2020 DO - 10.1145/3418597 UR - https://arxiv.org/abs/1912.12189 ID - 1912.12189 ER -