High-Precision Evaluation of Both Static andDynamic Tools using DataRaceBench
Conference
·
OSTI ID:1832327
- Lawrence Livermore National Laboratory
- 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:
- 1832327
- Report Number(s):
- LLNL-CONF-825647; 1039804
- Country of Publication:
- United States
- Language:
- English
Similar Records
DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools
Exploring Regression of Data Race Detection Tools Using DataRaceBench
OMPRacer: Scalable and Precise Static RaceDetection for OpenMP Programs
Conference
·
Tue Apr 04 00:00:00 EDT 2017
·
OSTI ID:1410061
Exploring Regression of Data Race Detection Tools Using DataRaceBench
Conference
·
Tue Aug 20 00:00:00 EDT 2019
·
OSTI ID:1574623
OMPRacer: Scalable and Precise Static RaceDetection for OpenMP Programs
Conference
·
Tue Apr 21 00:00:00 EDT 2020
·
OSTI ID:2000823