
Saurabh Joshi
Assistant Professor, CSE
My research interests include Constraint Programming, Formal Verification and Program Analysis.
Related
- 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
- Underspecified harnesses and interleaved bugs
Publications
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