Enhancing Type Safety in MPI with Rust: A Statically Verified Approach for RSMPI

Nafees Iqbal, Jed Brown

The Message Passing Interface (MPI) is a fundamental tool for building high-performance computing (HPC) applications, enabling efficient communication across distributed systems. D…