A Semantics-Driven Approach to Improving DataRaceBench’s OpenMP Standard Coverage-Reference-Cited by-同舟云学术

A Semantics-Driven Approach to Improving DataRaceBench’s OpenMP Standard Coverage

Author:

Liao Chunhua,Lin Pei-Hung,Schordan Markus,Karlin Ian

Publisher

Springer International Publishing

Link

Reference13 articles.

1. SPEC’s Benchmarks (1995). http://www.spec.org/benchmarks.html

2. Helgrind (2000). http://valgrind.org/docs/manual/hg-manual.html

3. Intel Inspector 2017 (2017). https://software.intel.com/en-us/intel-inspector-xe

4. Livermore Computing Quartz system (2017). https://hpc.llnl.gov/hardware/platforms/Quartz

5. Threadsanitizer (2017). https://github.com/google/sanitizers

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Early Experience with Transformer-Based Similarity Analysis for DataRaceBench;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11

2. RDS;Proceedings of the 14th IEEE/ACM International Conference on Utility and Cloud Computing;2021-12-06

4. LLOV;ACM Transactions on Architecture and Code Optimization;2020-12-22

5. A Study of Memory Anomalies in OpenMP Applications;OpenMP: Portable Multi-Level Parallelism on Modern Systems;2020