Author:
Atzeni Simone,Gopalakrishnan Ganesh,Rakamaric Zvonimir,Laguna Ignacio,Lee Gregory L.,Ahn Dong H.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model Checking Race-Freedom When “Sequential Consistency for Data-Race-Free Programs” is Guaranteed;Computer Aided Verification;2023
2. Using scheduling entropy amplification in CUDA/OpenMP code to exhibit non-reproducibility issues;2022 IEEE 15th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC);2022-12
3. Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11
4. Early Experience with Transformer-Based Similarity Analysis for DataRaceBench;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11
5. MiniKokkos: A Calculus of Portable Parallelism;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11