Research Topic
Correctness Analysis for Parallel Programming Models
Supervisor
- Professor Felix Wolf (Technical University of Darmstadt)
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 (upcoming in October 2026)
- C3PO Workshop at ISC 2026
- HIPS Workshop at IPDPS 2026
- EuroMPI 2025 Correctness Workshop at SC 2025