{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:46:38Z","timestamp":1755801998493,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T00:00:00Z","timestamp":1699747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,12]]},"DOI":"10.1145\/3624062.3624089","type":"proceedings-article","created":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T13:53:39Z","timestamp":1699624419000},"page":"224-227","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Correctness Checking of MPI Partitioned Communication in MUST"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7121-7205","authenticated-orcid":false,"given":"Simon","family":"Schwitanski","sequence":"first","affiliation":[{"name":"IT Center, RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8204-6065","authenticated-orcid":false,"given":"Niko","family":"Sakic","sequence":"additional","affiliation":[{"name":"IT Center, RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0640-8966","authenticated-orcid":false,"given":"Joachim","family":"Jenke","sequence":"additional","affiliation":[{"name":"IT Center, RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3137-5596","authenticated-orcid":false,"given":"Felix","family":"Tomski","sequence":"additional","affiliation":[{"name":"IT Center, RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3895-7791","authenticated-orcid":false,"given":"Marc-Andr\u00e9","family":"Hermanns","sequence":"additional","affiliation":[{"name":"IT Center, RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,11,12]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2012.40"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2021.102827"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3605573.3605599"},{"key":"e_1_3_2_2_4_1","volume-title":"Finepoints: Partitioned Multithreaded MPI Communication. In ISC High Performance","author":"Grant E.","year":"2019","unstructured":"Ryan\u00a0E. Grant, Matthew G.\u00a0F. Dosanjh, Michael\u00a0J. Levenhagen, Ron Brightwell, and Anthony Skjellum. 2019. Finepoints: Partitioned Multithreaded MPI Communication. In ISC High Performance 2019, Frankfurt\/Main, Germany, June 16-20, 2019, Proceedings(Lecture Notes in Computer Science, Vol.\u00a011501). Springer, 330\u2013350."},{"key":"e_1_3_2_2_5_1","volume-title":"Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing","author":"Hilbrich Tobias","year":"2009","unstructured":"Tobias Hilbrich, Martin Schulz, Bronis\u00a0R. de Supinski, and Matthias\u00a0S. M\u00fcller. 2009. MUST: A Scalable Approach to Runtime Error Detection in MPI Programs. In Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden. Springer, 53\u201366."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624062.3624085"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356176"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness54621.2021.00008"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3431379.3460652"},{"key":"e_1_3_2_2_10_1","volume-title":"MPI: A Message-Passing Interface Standard Version 4.0","author":"Interface Forum Message Passing","year":"2021","unstructured":"Message Passing Interface Forum. 2021. MPI: A Message-Passing Interface Standard Version 4.0. http:\/\/mpi-forum.org\/docs\/mpi-4.0\/mpi40-report.pdf [online; accessed 22-September-2023]."},{"key":"e_1_3_2_2_11_1","volume-title":"PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. In 4th IEEE\/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020","author":"Nguyen Van\u00a0Man","year":"2020","unstructured":"Van\u00a0Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, and Patrick Carribault. 2020. PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. In 4th IEEE\/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020. IEEE, 31\u201339."},{"key":"e_1_3_2_2_12_1","volume-title":"On-the-Fly Data Race Detection for MPI RMA Programs with MUST. In Sixth IEEE\/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022","author":"Schwitanski Simon","year":"2022","unstructured":"Simon Schwitanski, Joachim Jenke, Felix Tomski, Christian Terboven, and Matthias\u00a0S. M\u00fcller. 2022. On-the-Fly Data Race Detection for MPI RMA Programs with MUST. In Sixth IEEE\/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022. IEEE, 27\u201336."},{"key":"e_1_3_2_2_13_1","volume-title":"Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer. In Runtime Verification - Second International Conference, RV 2011","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 Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers(Lecture Notes in Computer Science, Vol.\u00a07186). Springer, 110\u2013114."}],"event":{"name":"SC-W 2023: Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis","acronym":"SC-W 2023","location":"Denver CO USA"},"container-title":["Proceedings of the SC '23 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624062.3624089","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3624062.3624089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T03:00:52Z","timestamp":1755745252000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624062.3624089"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,12]]},"references-count":13,"alternative-id":["10.1145\/3624062.3624089","10.1145\/3624062"],"URL":"https:\/\/doi.org\/10.1145\/3624062.3624089","relation":{},"subject":[],"published":{"date-parts":[[2023,11,12]]},"assertion":[{"value":"2023-11-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}