utpalbora.com [email protected]
Cambridge Cambridge PostDoc @CompArchCam Cambridge, Visiting Researcher @Arm. Previously, Research scholar in Programming Languages and Compilers @IITH.
Utpal Bora
LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
utpalbora
