LLOV

Last updated on Dec 17, 2020
Go to Project Site
Program Analysis
Saurabh Joshi
Saurabh Joshi
Principal Researcher

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