skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools

Authors:
; ; ; ;
Publication Date:
Research Org.:
Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1410061
Report Number(s):
LLNL-CONF-728717
DOE Contract Number:  
AC52-07NA27344
Resource Type:
Conference
Resource Relation:
Conference: Presented at: The International Conference for High Performance Computing, Networking, Storage and Analysis, Denver, CO, United States, Nov 12 - Nov 17, 2017
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE

Citation Formats

Liao, C, Lin, P, Asplund, J, Schordan, M, and Karlin, I. DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools. United States: N. p., 2017. Web. doi:10.1145/3126908.3126958.
Liao, C, Lin, P, Asplund, J, Schordan, M, & Karlin, I. DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools. United States. doi:10.1145/3126908.3126958.
Liao, C, Lin, P, Asplund, J, Schordan, M, and Karlin, I. Tue . "DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools". United States. doi:10.1145/3126908.3126958. https://www.osti.gov/servlets/purl/1410061.
@article{osti_1410061,
title = {DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools},
author = {Liao, C and Lin, P and Asplund, J and Schordan, M and Karlin, I},
abstractNote = {},
doi = {10.1145/3126908.3126958},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2017},
month = {4}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: