LLOVLast updated on Dec 17, 2020Go to Project SiteProgram AnalysisSaurabh JoshiAssistant Professor, CSEMy research interests include Constraint Programming, Formal Verification and Program Analysis.RelatedA New Method of {MHP} Analysis for Languages with Dynamic BarriersLLOV: A Fast Static Data-Race Checker for OpenMP ProgramsPrecise Predictive Analysis for Discovering Communication Deadlocks in MPI ProgramsThe virtues of conflict: analysing modern concurrencyUnderspecified harnesses and interleaved bugsPublicationsLLOV: A Fast Static Data-Race Checker for OpenMP ProgramsThis 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 RajopadhyePDF Cite Code Project Video DOI pre-print
