1 citations · 2 across the 5 of their papers we have counts for
11 papers
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…
GPURepair: Automated Repair of GPU Kernels
Saurabh Joshi, Gautam Muduganti
This paper presents a tool for repairing errors in GPU kernels written in CUDA or OpenCL due to data races and barrier divergence. Our novel extension to prior work can also remove…
Hardware/Software Co-verification Using Path-based Symbolic Execution
Rajdeep Mukherjee, Saurabh Joshi, John O'Leary +2
Conventional tools for formal hardware/software co-verification use bounded model checking techniques to construct a single monolithic propositional formula. Formulas generated in…
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…
Phase Transition Behavior of Cardinality and XOR Constraints
Yash Pote, Saurabh Joshi, Kuldeep S. Meel
The runtime performance of modern SAT solvers is deeply connected to the phase transition behavior of CNF formulas. While CNF solving has witnessed significant runtime improvement…
Reflections on "Incremental Cardinality Constraints for MaxSAT"
Ruben Martins, Saurabh Joshi, Vasco Manquinho +1
To celebrate the first 25 years of the International Conference on Principles and Practice of Constraint Programming (CP) the editors invited the authors of the most cited paper of…