Harnessing MPI mutations for AI error detection

Asia Auville, Tim Jammer, Eric Petit +3

MPI errors are challenging to identify despite the significant number of expert verification tools. Dynamic tools (i.e., requiring profiling) are computationally expensive and accu…