{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T17:24:13Z","timestamp":1791307453313,"version":"4.3.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031733697","type":"print"},{"value":"9783031733703","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T00:00:00Z","timestamp":1727222400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T00:00:00Z","timestamp":1727222400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-73370-3_8","type":"book-chapter","created":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T17:02:58Z","timestamp":1727197378000},"page":"121-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["MPI-BugBench: A Framework for Assessing MPI Correctness Tools"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3735-9677","authenticated-orcid":false,"given":"Tim","family":"Jammer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6409-1673","authenticated-orcid":false,"given":"Emmanuelle","family":"Saillard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7121-7205","authenticated-orcid":false,"given":"Simon","family":"Schwitanski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0640-8966","authenticated-orcid":false,"given":"Joachim","family":"Jenke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8841-3322","authenticated-orcid":false,"given":"Radjasouria","family":"Vinayagame","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1931-773X","authenticated-orcid":false,"given":"Alexander","family":"H\u00fcck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2711-3032","authenticated-orcid":false,"given":"Christian","family":"Bischof","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,9,25]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Droste, A., Kuhn, M., Ludwig, T.: MPI-checker: static analysis for MPI. In: Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, LLVM 2015. ACM (2015). https:\/\/doi.org\/10.1145\/2833157.2833159","DOI":"10.1145\/2833157.2833159"},{"key":"8_CR2","unstructured":"GASPI Forum: GASPI: Global Address Space Programming Interface 17.1 (2017). https:\/\/raw.githubusercontent.com\/GASPI-Forum\/GASPI-Forum.github.io\/master\/standards\/GASPI-17.1.pdf. Accessed 28 May 2024"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Hilbrich, T., Schulz, M., de\u00a0Supinski, B.R., M\u00fcller, M.S.: MUST: a scalable approach to runtime error detection in MPI programs. In: Tools for High Performance Computing 2009, pp. 53\u201366, Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11261-4_5","DOI":"10.1007\/978-3-642-11261-4_5"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"H\u00fcck, A., Jammer, T., Jenke, J., Bischof, C.: Investigating the real-world applicability of MPI correctness benchmarks. In: Proceedings of the SC 2023 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, pp. 230\u2013233. ACM (2023). https:\/\/doi.org\/10.1145\/3624062.3624091","DOI":"10.1145\/3624062.3624091"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"H\u00fcck, A., Jammer, T., Protze, J., Bischof, C.: Investigating the usage of MPI at argument-granularity in HPC codes. In: Proceedings of EuroMPI2023: the 30th European MPI Users\u2019 Group Meeting, EuroMPI2023, pp. 1\u201310. ACM (2023). https:\/\/doi.org\/10.1145\/3615318.3615322","DOI":"10.1145\/3615318.3615322"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"H\u00fcck, A., et al.: Compiler-aided type tracking for correctness checking of MPI applications. In: IEEE\/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness), pp. 51\u201358 (2018). https:\/\/doi.org\/10.1109\/Correctness.2018.00011","DOI":"10.1109\/Correctness.2018.00011"},{"key":"8_CR7","unstructured":"Intel: Intel Trace Analyzer and Collector (2023). https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/tools\/oneapi\/components\/trace-analyzer.html. Accessed 28 May 2024"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Laguna, I., Marshall, R., Mohror, K., Ruefenacht, M., Skjellum, A., Sultana, N.: A large-scale study of MPI usage in open-source HPC applications. In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2019. ACM (2019). https:\/\/doi.org\/10.1145\/3295500.3356176","DOI":"10.1145\/3295500.3356176"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Laurent, M., Saillard, E., Quinson, M.: The MPI bugs initiative: a framework for MPI verification tools evaluation. In: IEEE\/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness), pp. 1\u20139 (2021). https:\/\/doi.org\/10.1109\/Correctness54621.2021.00008","DOI":"10.1109\/Correctness54621.2021.00008"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Lehr, J.P., Jammer, T., Bischof, C.: MPI-CorrBench: towards an MPI correctness benchmark suite. In: Proceedings of the 30th International Symposium on High-Performance Parallel and Distributed Computing, HPDC 2021, pp. 69\u201380. ACM (2021). https:\/\/doi.org\/10.1145\/3431379.3460652","DOI":"10.1145\/3431379.3460652"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Lin, P.H., Liao, C.: High-precision evaluation of both static and dynamic tools using DataRaceBench. In: 2021 IEEE\/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness), pp. 1\u20138 (2021). https:\/\/doi.org\/10.1109\/Correctness54621.2021.00011","DOI":"10.1109\/Correctness54621.2021.00011"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Luecke, G., et al.: The importance of run-time error detection, pp. 145\u2013155 (2009). https:\/\/doi.org\/10.1007\/978-3-642-11261-4_10","DOI":"10.1007\/978-3-642-11261-4_10"},{"key":"8_CR13","unstructured":"Message Passing Interface Forum: MPI: A Message-Passing Interface Standard Version 4.1 (2023). https:\/\/www.mpi-forum.org\/docs\/mpi-4.1\/mpi41-report.pdf. Accessed 28 May 2024"},{"key":"8_CR14","unstructured":"OpenSHMEM Committee: OpenSHMEM: Application Programming Interface Version 1.5 (2020). http:\/\/openshmem.org\/site\/sites\/default\/site_files\/OpenSHMEM-1.5.pdf. Accessed 28 May 2024"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Saillard, E., Carribault, P., Barthou, D.: PARCOACH: combining static and dynamic validation of MPI collective communications. Int. J. High Perform. Comput. Appl. 28(4), 425\u2013434 (2014). https:\/\/doi.org\/10.1145\/2488551.2488555","DOI":"10.1145\/2488551.2488555"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Schwitanski, S., Jenke, J., Klotz, S., M\u00fcller, M.S.: RMARaceBench: a microbenchmark suite to evaluate race detection tools for RMA programs. In: Proceedings of the SC \u201923 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W \u201923, pp. 205\u2013214. ACM (2023). https:\/\/doi.org\/10.1145\/3624062.3624087","DOI":"10.1145\/3624062.3624087"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Schwitanski, S., Jenke, J., Tomski, F., Terboven, C., M\u00fcller, M.S.: On-the-fly data race detection for MPI RMA programs with MUST. In: 2022 IEEE\/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness), pp. 27\u201336. IEEE (2022). https:\/\/doi.org\/10.1109\/Correctness56720.2022.00009","DOI":"10.1109\/Correctness56720.2022.00009"},{"key":"8_CR18","doi-asserted-by":"publisher","unstructured":"Vinayagame, R., Saillard, E., Thibault, S., Nguyen, V.M., Sergent, M.: Rethinking data race detection in MPI-RMA programs. In: Proceedings of the SC 2023 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, pp. 196\u2013204 (2023). https:\/\/doi.org\/10.1145\/3624062.3624086","DOI":"10.1145\/3624062.3624086"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Virouleau, P., Saillard, E., Sergent, M., Lemarinier, P.: Highlighting PARCOACH improvements on MBI. In: Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023 (2023). https:\/\/doi.org\/10.1145\/3624062.3624093","DOI":"10.1145\/3624062.3624093"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in the Message Passing Interface"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73370-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T07:51:39Z","timestamp":1747122699000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73370-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,25]]},"ISBN":["9783031733697","9783031733703"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73370-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,25]]},"assertion":[{"value":"25 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}}]}}