Skip to main content

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free

Conference · Mon Aug 20 00:00:00 EDT 2018

DOI:https://doi.org/10.1109/Correctness.2018.00010· OSTI ID:1570102

Ye, F ^[1]; Schordan, M ^[2]; Liao, C ^[2]; Lin, P ^[2]; Karlin, I ^[2]; Sarkar, V ^[1]

Georgia Institute of Technology
Lawrence Livermore National Laboratory

View Conference

Print

Research Organization:: Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)

Sponsoring Organization:: USDOE National Nuclear Security Administration (NNSA)

DOE Contract Number:: AC52-07NA27344

OSTI ID:: 1570102

Report Number(s):: LLNL-CONF-756830; 944496

Country of Publication:: United States

Language:: English

Similar Records

ARCHER: Effectively Spotting Data Races in Large OpenMP Applications

Conference · Fri Apr 24 00:00:00 EDT 2015 · OSTI ID:1439344

ARCHER: Effectively Spotting Data Races in Large OpenMP Applications

Conference · Fri Oct 16 00:00:00 EDT 2015 · OSTI ID:1439347

Towards Providing Low-Overhead Data Race Detection for Large OpenMP Applications

Conference · Fri Sep 05 00:00:00 EDT 2014 · OSTI ID:1418914

Related Subjects

Mathematics and Computing