We seek to improve the detection and correction of data-race bugs, which occur when sequences of computed events happen in unintended order, jeopardizing the integrity of parallel programs using shared-memory architectures. These improvements will increase the efficiency of high-performance computing systems that underlay many of the nation’s security missions
Liao, C., et al. 2018. "A Semantics-Driven Approach to Improving DataRaceBench’s OpenMP Standard Coverage." The 14th International Workshop on OpenMP. Barcelona, Spain, Sept. 2018. LLNL-CONF-750770.