30 citations · 31 across the 3 of their papers we have counts for
3 papers
cs.DC2024★ 1 cited
LLOR: Automated Repair of OpenMP Programs
Utpal Bora, Saurabh Joshi, Gautam Muduganti +1
In this paper, we present a technique for repairing data race errors in parallel programs written in C/C++ and Fortran using the OpenMP API. Our technique can also remove barriers…
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★ 30 cited
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…