1. MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR;2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2024-05-27
2. Highlighting PARCOACH Improvements on MBI;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
3. Investigating the Real-World Applicability of MPI Correctness Benchmarks;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
4. Towards Correctness Checking of MPI Partitioned Communication in MUST;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
5. 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