MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR

Jad El Karchi, Hanze Chen, Ali TehraniJamsaz +3

Identifying errors in parallel MPI programs is a challenging task. Despite the growing number of verification tools, debugging parallel programs remains a significant challenge. Th…