DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools
Abstract not provided
- Research Organization:
- Lawrence Livermore National Laboratory (LLNL), Livermore, CA
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC52-07NA27344
- OSTI ID:
- 1410061
- Report Number(s):
- LLNL-CONF-728717
- Country of Publication:
- United States
- Language:
- English
Similar Records
Exploring Regression of Data Race Detection Tools Using DataRaceBench
Runtime and Memory Evaluation of Data Race Detection Tools
High-Precision Evaluation of Both Static andDynamic Tools using DataRaceBench
Conference
·
Tue Aug 20 00:00:00 EDT 2019
·
OSTI ID:1574623
Runtime and Memory Evaluation of Data Race Detection Tools
Conference
·
Mon Apr 30 00:00:00 EDT 2018
·
OSTI ID:1570105
High-Precision Evaluation of Both Static andDynamic Tools using DataRaceBench
Conference
·
Mon Aug 09 00:00:00 EDT 2021
·
OSTI ID:1832327