{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T08:21:27Z","timestamp":1758702087856,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":20,"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.3624086","type":"proceedings-article","created":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T13:53:39Z","timestamp":1699624419000},"page":"196-204","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Rethinking Data Race Detection in MPI-RMA Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-8841-3322","authenticated-orcid":false,"given":"Radjasouria","family":"Vinayagame","sequence":"first","affiliation":[{"name":"Eviden, France and Inria, France"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6409-1673","authenticated-orcid":false,"given":"Emmanuelle","family":"Saillard","sequence":"additional","affiliation":[{"name":"Inria, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6411-809X","authenticated-orcid":false,"given":"Samuel","family":"Thibault","sequence":"additional","affiliation":[{"name":"University of Bordeaux, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0364-4840","authenticated-orcid":false,"given":"Van Man","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Eviden, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6717-3940","authenticated-orcid":false,"given":"Marc","family":"Sergent","sequence":"additional","affiliation":[{"name":"Eviden, France"}]}],"member":"320","published-online":{"date-parts":[[2023,11,12]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122445.1122456"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2014.46"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236367.3236369"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2018.00098"},{"key":"e_1_3_2_2_5_1","volume-title":"MUST: A Scalable Approach to Runtime Error Detection in MPI Programs. In Tools for High Performance Computing","author":"Hilbrich Tobias","year":"2010","unstructured":"Tobias Hilbrich, Martin Schulz, Bronis\u00a0R. de Supinski, and Matthias\u00a0S. M\u00fcller. 2010. MUST: A Scalable Approach to Runtime Error Detection in MPI Programs. In Tools for High Performance Computing 2009, Matthias\u00a0S. M\u00fcller, Michael\u00a0M. Resch, Alexander Schulz, and Wolfgang\u00a0E. Nagel (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 53\u201366."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2780584"},{"volume-title":"EuroPar.","author":"Huchant Pierre","key":"e_1_3_2_2_7_1","unstructured":"Pierre Huchant, Emmanuelle Saillard, Denis Barthou, and Patrick Carribault. 2019. Multi-Valued Expression Analysis for Collective Checking. In EuroPar. G\u00f6ttingen, Germany. https:\/\/hal.science\/hal-02390025"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","unstructured":"Ali Jannesari Kaibin Bao Victor Pankratius and Walter Tichy. 2009. Helgrind+: An efficient dynamic race detector. 1\u201313. https:\/\/doi.org\/10.1109\/IPDPS.2009.5160998","DOI":"10.1109\/IPDPS.2009.5160998"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356071"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/HiPC.2016.015"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTER.2014.6968755"},{"key":"e_1_3_2_2_13_1","volume-title":"MPI: A Message-Passing Interface Standard Version 4.0. https:\/\/www.mpi-forum.org\/docs\/mpi-4.0\/mpi40-report.pdf","author":"Interface Forum Message Passing","year":"2021","unstructured":"Message Passing Interface Forum. 2021. MPI: A Message-Passing Interface Standard Version 4.0. https:\/\/www.mpi-forum.org\/docs\/mpi-4.0\/mpi40-report.pdf"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229428.1229457"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2009.170"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"crossref","unstructured":"Emmanuelle Saillard Marc Sergent Tassadit\u00a0C\u00e9lia Aitkaci and Denis Barthou. 2022. Static Local Concurrency Errors Detection in MPI-RMA Programs. In Correctness 2022 - Sixth International Workshop on Software Correctness for HPC Applications. Dallas United States. https:\/\/hal.inria.fr\/hal-03882459","DOI":"10.1109\/Correctness56720.2022.00008"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness56720.2022.00009"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"volume-title":"Dynamic Race Detection with LLVM Compiler","author":"Serebryany Konstantin","key":"e_1_3_2_2_19_1","unstructured":"Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, and Dmitriy Vyukov. 2012. Dynamic Race Detection with LLVM Compiler. In Runtime Verification, Sarfraz Khurshid and Koushik Sen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 110\u2013114."},{"key":"e_1_3_2_2_20_1","unstructured":"Christian Simmendinger. 2014. PGAS Community Benchmarks CFD-Proxy version 1.0.1. https:\/\/github.com\/PGAS-community-benchmarks\/CFD-Proxy."}],"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.3624086","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3624062.3624086","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T03:00:40Z","timestamp":1755745240000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624062.3624086"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,12]]},"references-count":20,"alternative-id":["10.1145\/3624062.3624086","10.1145\/3624062"],"URL":"https:\/\/doi.org\/10.1145\/3624062.3624086","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"}}]}}