{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:43:07Z","timestamp":1768030987457,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","funder":[{"name":"NHR-Verein e.V."},{"name":"European High-Performance Computing Joint Undertaking (JU)","award":["101143931"],"award-info":[{"award-number":["101143931"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1145\/3731599.3767360","type":"proceedings-article","created":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T16:20:02Z","timestamp":1762532402000},"page":"188-197","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-9922-3112","authenticated-orcid":false,"given":"Yussur Mustafa","family":"Oraji","sequence":"first","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7121-7205","authenticated-orcid":false,"given":"Simon","family":"Schwitanski","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6048-9643","authenticated-orcid":false,"given":"Semih","family":"Burak","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2711-3032","authenticated-orcid":false,"given":"Christian","family":"Bischof","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2545-5258","authenticated-orcid":false,"given":"Matthias","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2025,11,15]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"2025. Artifact - Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead. https:\/\/github.com\/tudasc\/Static-Dynamic-SC-Correctness-2025-Artifact. 10.5281\/zenodo.17161672","DOI":"10.5281\/zenodo.17161672"},{"key":"e_1_3_3_1_3_2","volume-title":"CLAIX 2023 Specifications","year":"2025","unstructured":"2025. CLAIX 2023 Specifications. https:\/\/hpc.rwth-aachen.de\/claix23"},{"key":"e_1_3_3_1_4_2","volume-title":"LLNL\/LULESH","year":"2025","unstructured":"2025. LLNL\/LULESH. https:\/\/github.com\/LLNL\/LULESH"},{"key":"e_1_3_3_1_5_2","volume-title":"The LLVM Compiler Infrastructure Project","year":"2025","unstructured":"2025. The LLVM Compiler Infrastructure Project. https:\/\/llvm.org\/"},{"key":"e_1_3_3_1_6_2","unstructured":"2025. Open MPI: Open Source High Performance Computing. https:\/\/www.open-mpi.org\/."},{"key":"e_1_3_3_1_7_2","volume-title":"Parallel Research Kernels","year":"2025","unstructured":"2025. Parallel Research Kernels. https:\/\/github.com\/ParRes\/Kernels"},{"key":"e_1_3_3_1_8_2","volume-title":"The Static Analysis Results Interchange Format (SARIF)","year":"2025","unstructured":"2025. The Static Analysis Results Interchange Format (SARIF). https:\/\/sarifweb.azurewebsites.net\/"},{"key":"e_1_3_3_1_9_2","volume-title":"TeaLeaf","year":"2025","unstructured":"2025. TeaLeaf. https:\/\/github.com\/UoB-HPC\/TeaLeaf"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268974"},{"key":"e_1_3_3_1_11_2","volume-title":"EuroMPI 2021 - European MPI Users\u2019s Group Meeting","author":"Aitkaci Tassadit\u00a0C\u00e9lia","year":"2021","unstructured":"Tassadit\u00a0C\u00e9lia Aitkaci, Marc Sergent, Emmanuelle Saillard, Denis Barthou, and Guillaume Papaur\u00e9. 2021. Dynamic Data Race Detection for MPI-RMA Programs. In EuroMPI 2021 - European MPI Users\u2019s Group Meeting. Munich, Germany. https:\/\/hal.science\/hal-03374614"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.68"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73370-3_1"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-032-07194-1_9"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Anusha Damodaran Fabio\u00a0Di Troia Corrado\u00a0Aaron Visaggio Thomas\u00a0H. Austin and Mark Stamp. [n. d.]. A Comparison of Static Dynamic and Hybrid Analysis for Malware Detection. 13 1 ([n. d.]) 1\u201312. 10.1007\/s11416-015-0261-z","DOI":"10.1007\/s11416-015-0261-z"},{"key":"e_1_3_3_1_16_2","volume-title":"Cluster Hardware","author":"Darmstadt TU","year":"2025","unstructured":"TU Darmstadt. 2025. Cluster Hardware. Hardware and Configurations. https:\/\/www.hrz.tu-darmstadt.de\/hlr\/betrieb_hlr\/hardware_hlr_1\/hardware_und_konfiguration_hlr\/index.en.jsp"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177153"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/2833157.2833159"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Rajiv Gupta Mary\u00a0Lou Soffa and John Howard. [n. d.]. Hybrid Slicing: Integrating Dynamic Information with Static Analysis. 6 4 ([n. d.]) 370\u2013397. 10.1145\/261640.261644","DOI":"10.1145\/261640.261644"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11261-4_5"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444828"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73370-3_8"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3624062.3624085"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"e_1_3_3_1_25_2","volume-title":"Automated Benchmarking with JUBE","author":"L\u00fchrs Sebastian","year":"2020","unstructured":"Sebastian L\u00fchrs. 2020. Automated Benchmarking with JUBE. Technical Report FZJ-2020-02622. J\u00fclich Supercomputing Center."},{"key":"e_1_3_3_1_26_2","volume-title":"MPI: A Message-Passing Interface Standard Version 5.0","author":"Forum Message Passing Interface","year":"2025","unstructured":"Message Passing Interface Forum. 2025. MPI: A Message-Passing Interface Standard Version 5.0. https:\/\/www.mpi-forum.org\/docs\/mpi-5.0\/mpi50-report.pdf [accessed 09-July-2025]."},{"key":"e_1_3_3_1_27_2","first-page":"19","volume-title":"Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing","author":"Ohly Patrick","year":"2007","unstructured":"Patrick Ohly and Werner Krotz-Vogel. 2007. Automated MPI Correctness Checking What If There Was a Magic Option?. In Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing. 19\u201325."},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-032-07194-1_4"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/514191.514229"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","unstructured":"Emmanuelle Saillard Patrick Carribault and Denis Barthou. 2014. PARCOACH: Combining Static and Dynamic Validation of MPI Collective Communications. The International Journal of High Performance Computing Applications 28 4 (Nov. 2014) 425\u2013434. 10.1177\/1094342014552204","DOI":"10.1177\/1094342014552204"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness56720.2022.00008"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3624062.3624087"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness56720.2022.00009"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73716-9_4"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3673038.3673109"},{"key":"e_1_3_3_1_36_2","first-page":"110","volume-title":"International Conference on Runtime Verification","author":"Serebryany Konstantin","year":"2011","unstructured":"Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, and Dmitriy Vyukov. 2011. Dynamic race detection with LLVM compiler: Compile-time instrumentation for ThreadSanitizer. In International Conference on Runtime Verification. Springer, 110\u2013114."},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73716-9_5"}],"event":{"name":"SC Workshops '25: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","location":"St Louis MO USA","acronym":"SC Workshops '25","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731599.3767360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T19:36:32Z","timestamp":1767987392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731599.3767360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,15]]},"references-count":36,"alternative-id":["10.1145\/3731599.3767360","10.1145\/3731599"],"URL":"https:\/\/doi.org\/10.1145\/3731599.3767360","relation":{},"subject":[],"published":{"date-parts":[[2025,11,15]]},"assertion":[{"value":"2025-11-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}