Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free
- Georgia Institute of Technology
- Lawrence Livermore National Laboratory
- Research Organization:
- Lawrence Livermore National Lab. (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
- Resource Relation:
- Conference: Dallas, TX, United States
- Country of Publication:
- United States
- Language:
- English
Similar Records
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications
Towards Providing Low-Overhead Data Race Detection for Large OpenMP Applications
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications
Conference
·
Fri Apr 24 00:00:00 EDT 2015
·
OSTI ID:1570102
+6 more
Towards Providing Low-Overhead Data Race Detection for Large OpenMP Applications
Conference
·
Fri Sep 05 00:00:00 EDT 2014
·
OSTI ID:1570102
+6 more
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications
Conference
·
Fri Oct 16 00:00:00 EDT 2015
·
OSTI ID:1570102
+6 more