2 papers
cs.PL2021
OpenMP aware MHP Analysis for Improved Static Data-Race Detection
Utpal Bora, Shraiysh Vaishay, Saurabh Joshi +1
Data races, a major source of bugs in concurrent programs, can result in loss of manpower and time as well as data loss due to system failures. OpenMP, the de facto shared memory p…
cs.PL2019
LLOV: A Fast Static Data-Race Checker for OpenMP Programs
Utpal Bora, Santanu Das, Pankaj Kukreja +3
In the era of Exascale computing, writing efficient parallel programs is indispensable and at the same time, writing sound parallel programs is very difficult. Specifying paralleli…