Dynamic Contract Analysis for Parallel Programming Models

Yussur Mustafa Oraji, Alexander Hück, Christian Bischof

Parallel programming in high-performance computing depends on low-level APIs such as MPI, requiring users to manage synchronization and resources manually. Several correctness chec…