3 papers
cs.DC2026
Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts
Yussur Mustafa Oraji, Christian Bischof
Correctness checking tools for High-Performance Computing programs are typically limited to specific parallel programming models such as MPI or OpenSHMEM. The CoVer framework previ…
cs.DC2026
Extending Contract Verification for Parallel Programming Models to Fortran
Yussur Mustafa Oraji, Christian Bischof
High-performance computing often relies on parallel programming models such as MPI for distributed-memory systems. While powerful, these models are prone to subtle programming erro…
cs.DC2026
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…