Utpal Bora

Latest

• OpenMP aware MHP Analysis for Improved Static Data-Race Detection
• LLOV: A Fast Static Data-Race Checker for OpenMP Programs