OpenRace: An Open Source Framework for Statically Detecting Data Races.

Published in International Workshop on Software Correctness for HPC Applications (SC Correctness 2021), 2021

Recommended citation: Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang. (2021). "OpenRace: An Open Source Framework for Statically Detecting Data Races." SC Correctness 2021.

Abstract

pdf slides bibtex