TY - CONF AU - Oraji, Yussur Mustafa AU - Schwitanski, Simon AU - Burak, Semih AU - Bischof, Christian AU - Müller, Matthias S. TI - Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead CY - New York, NY, USA PB - Association for Computing Machinery M1 - RWTH-2026-01916 T2 - ACM conferences SP - 188-197 PY - 2025 T2 - 9. International Workshop on Software Correctness for HPC Applications CY - 16 Nov 2025 - 21 Nov 2025, St Louis, MO (USA) Y2 - 16 Nov 2025 - 21 Nov 2025 M2 - St Louis, MO, USA LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 UR - <Go to ISI:>//WOS:001661298800020 DO - DOI:10.1145/3731599.3767360 UR - https://publications.rwth-aachen.de/record/1028850 ER -