A Toolchain to Verify the Parallelization of OmpSs-2 Applications-Reference-Cited by-同舟云学术

A Toolchain to Verify the Parallelization of OmpSs-2 Applications

Published:2020 Issue: Volume: Page:18-33
ISSN:0302-9743
Container-title:Euro-Par 2020: Parallel Processing
language:
Short-container-title:

Author:

Economo Simone^ORCID,Royuela Sara^ORCID,Ayguadé Eduard^ORCID,Beltran Vicenç^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-57675-2_2

Reference19 articles.

1. AdaCore, Altran, Astrium Space Transportation, CEA-LIST, ProVal at INRIA and Thales Communications: Project Hi-Lite: GNATprove (2017). http://www.open-do.org/projects/hi-lite/gnatprove

2. Arb: OpenMP specification v5.0 (2018). https://www.openmp.org/wp-content/uploads/OpenMP-API-Specification-5.0.pdf

3. Atzeni, S., et al.: ARCHER: effectively spotting data races in large OpenMP applications. In: 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 53–62 (2016)

4. Atzeni, S., Gopalakrishnan, G., Rakamaric, Z., Laguna, I., Lee, G.L., Ahn, D.H.: SWORD: a bounded memory-overhead detector of OpenMP data races in production runs. In: 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 845–854 (2018)

5. Lecture Notes in Computer Science;V Basupalli,2011

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

1. Optimizing Iterative Data-flow Scientific Applications using Directed Cyclic Graphs;IEEE Access;2023

2. Automatic aggregation of subtask accesses for nested OpenMP-style tasks;2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD);2022-11

3. User-defined Tools for Characterizing Task-Parallel Applications and Predicting Load Imbalance;2021 15th International Conference on Advanced Computing and Applications (ACOMP);2021-11