Rajeev Thakur

Latest

• A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs