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. Rethinking Data Race Detection in MPI-RMA Programs;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
3. A Parallel Hybrid Testing Technique for Tri-Programming Model-Based Software Systems;Computers, Materials & Continua;2023
4. On-the-Fly Data Race Detection for MPI RMA Programs with MUST;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11
5. Static Local Concurrency Errors Detection in MPI-RMA Programs;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11