DataRaceBench a benchmark suite for systematic evaluation of data race detection tools

Data races in multi-threaded parallel applications are notoriously damaging while extremely difficult to detect. Many tools have been developed to help programmers find data races. However, there is no dedicated OpenMP benchmark suite to systematically evaluate data race detection tools for their st...

Full description

Saved in:

Bibliographic Details
Published in:	International Conference for High Performance Computing, Networking, Storage and Analysis (Online) pp. 1 - 14
Main Authors:	Liao, Chunhua, Lin, Pei-Hung, Asplund, Joshua, Schordan, Markus, Karlin, Ian
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 12.11.2017
Series:	ACM Conferences
Subjects:	Benchmark Suite Computing methodologies > Parallel computing methodologies > Parallel programming languages Data Race Detection Instruction sets Measurement OpenMP Parallel programming Runtime Software and its engineering > Software creation and management > Software verification and validation Software and its engineering > Software organization and properties > Software functional properties > Correctness Static analysis Systematics Waste materials data race detection benchmark suite openMP
ISBN:	9781450351140, 145035114X
ISSN:	2167-4337
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!