Author:
Huchant Pierre,Saillard Emmanuelle,Barthou Denis,Brunie Hugo,Carribault Patrick
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
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. PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation;2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness);2020-11
4. Multi-valued Expression Analysis for Collective Checking;Lecture Notes in Computer Science;2019