Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang 0001. OpenRace: An Open Source Framework for Statically Detecting Data Races. In Ignacio Laguna, Cindy Rubio-González, editors, 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021. pages 25-32, IEEE, 2021. [doi]
Abstract is missing.