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

Title: Symbolic Analysis of Concurrency Errors in OpenMP Programs

Authors:
; ; ; ;
Publication Date:
Research Org.:
Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1088426
Report Number(s):
LLNL-CONF-599993
DOE Contract Number:  
W-7405-ENG-48
Resource Type:
Conference
Resource Relation:
Conference: Presented at: Symbolic Analysis of Concurrency Errors in OpenMP Programs, Boston, MA, United States, May 20 - May 24, 2013
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE

Citation Formats

Ma, H, Wang, L, Liao, C, Quinlan, D, and Yang, Z. Symbolic Analysis of Concurrency Errors in OpenMP Programs. United States: N. p., 2012. Web.
Ma, H, Wang, L, Liao, C, Quinlan, D, & Yang, Z. Symbolic Analysis of Concurrency Errors in OpenMP Programs. United States.
Ma, H, Wang, L, Liao, C, Quinlan, D, and Yang, Z. Wed . "Symbolic Analysis of Concurrency Errors in OpenMP Programs". United States. https://www.osti.gov/servlets/purl/1088426.
@article{osti_1088426,
title = {Symbolic Analysis of Concurrency Errors in OpenMP Programs},
author = {Ma, H and Wang, L and Liao, C and Quinlan, D and Yang, Z},
abstractNote = {},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2012},
month = {11}
}

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: