Author:
Atzeni Simone,Gopalakrishnan Ganesh,Rakamaric Zvonimir,Ahn Dong H.,Laguna Ignacio,Schulz Martin,Lee Gregory L.,Protze Joachim,Muller Matthias S.
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
2. Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
3. An Architecture for a Tri-Programming Model-Based Parallel Hybrid Testing Tool;Applied Sciences;2023-11-01
4. SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Model Checking Race-Freedom When “Sequential Consistency for Data-Race-Free Programs” is Guaranteed;Computer Aided Verification;2023