Research Topic:

Correctness Analysis for Parallel Programming Models

Supervisor:

Prof. Felix Wolf, TUD

Thesis Abstract:

The thesis is planned to incorporate multiple works, mostly focusing on the application of contracts to verify the use of parallel programming APIs in parallel code. Using a custom contract language, this method is applied to both static, compile-time checks based on the LLVM framework and dynamic checks at runtime. The developed tool can automatically detect data races, resource leaks, allocation errors, and parameter issues in C and Fortran code, with further extensions forthcoming.

Publications:

•Yussur Mustafa Oraji, Alexander Hück, and Christian Bischof. “Extending MPI Correctness Benchmarking to the Fortran Language”. In: Proceedings of the SC ’25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. SC Workshops ’25. New York, NY, USA: Association for Computing Machinery, Nov. 15, 2025, pp. 244–248. isbn: 979-8-4007-1871-7. doi: 10 . 1145 / 3731599 . 3767366.

•Yussur Mustafa Oraji et al. “Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead”. In: Proceedings of the SC ’25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. SC Workshops ’25. New York, NY, USA: Association for Computing Machinery, Nov. 15, 2025, pp. 188–197. isbn: 979-8-4007-1871-7. doi: 10.1145/3731599.3767360.

•Yussur Mustafa Oraji et al. “Verifying MPI API Usage Requirements with Contracts”. In: Recent Advances in the Message Passing Interface. Ed. by Joseph Schuchart et al. Cham: Springer Nature Switzerland, 2026, pp. 54–72. isbn: 978-3-032-07194-1. doi: 10.1007/978-3-032-07194-1_4.

Conference Presentations:

•EuroMPI 2026 (in October)

•C3PO Workshop at ISC 2026

•HIPS Workshop at IPDPS 2026

•EuroMPI 2025

Correctness Workshop at SC 2025