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

Title: A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage

Authors:
 [1];  [1];  [1];  [1]
  1. Lawrence Livermore National Laboratory
Publication Date:
Research Org.:
Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)
Sponsoring Org.:
USDOE National Nuclear Security Administration (NNSA)
OSTI Identifier:
1476186
Report Number(s):
LLNL-CONF-750770
Journal ID: ISSN 0302--9743; 936232
DOE Contract Number:  
AC52-07NA27344
Resource Type:
Conference
Resource Relation:
Journal Volume: 11128; Conference: Barcelona, null, Spain
Country of Publication:
United States
Language:
English
Subject:
Mathematics and Computing

Citation Formats

Liao, C, Lin, P, Schordan, M, and Karlin, I. A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage. United States: N. p., 2018. Web. doi:10.1007/978-3-319-98521-3_13.
Liao, C, Lin, P, Schordan, M, & Karlin, I. A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage. United States. doi:10.1007/978-3-319-98521-3_13.
Liao, C, Lin, P, Schordan, M, and Karlin, I. Mon . "A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage". United States. doi:10.1007/978-3-319-98521-3_13. https://www.osti.gov/servlets/purl/1476186.
@article{osti_1476186,
title = {A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage},
author = {Liao, C and Lin, P and Schordan, M and Karlin, I},
abstractNote = {},
doi = {10.1007/978-3-319-98521-3_13},
journal = {},
issn = {0302--9743},
number = ,
volume = 11128,
place = {United States},
year = {2018},
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: