LLOV

Last updated on Dec 17, 2020
Go to Project Site
Program Analysis
Saurabh Joshi
Saurabh Joshi
Director of R&D

My research interests include Blockchain, Distributed Systems, Constraint Programming, Formal Verification, Programming Languages and Program Analysis.

Related

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
Code Project pre-print

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
PDF Code Project Video DOI pre-print