Saurabh Joshi
Engineer, Product Security
My research interests include Constraint Programming, Formal Verification and Program Analysis.
Related
- OpenMP aware MHP Analysis for Improved Static Data-Race Detection
- A New Method of {MHP} Analysis for Languages with Dynamic Barriers
- LLOV: A Fast Static Data-Race Checker for OpenMP Programs
- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
- The virtues of conflict: analysing modern concurrency
Publications
OpenMP aware MHP Analysis for Improved Static Data-Race Detection
This paper employs MHP analysis inside LLOV, to increase coverage of OpenMP pragmas for data-race checking for OpenMP Programs.
Utpal Bora, Shraiysh Vaishay, Saurabh Joshi, Ramakrishna Upadrasta
LLOV: A Fast Static Data-Race Checker for OpenMP Programs
This paper presents a tool, LLOV, which leverages polyhedral compilation for fast data-race checking for OpenMP Programs.
Utpal Bora, Santanu Das, Pankaj Kukreja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay V Rajopadhye