{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T13:11:07Z","timestamp":1787317867716,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T00:00:00Z","timestamp":1723420800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,12]]},"DOI":"10.1145\/3673038.3673109","type":"proceedings-article","created":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T18:29:01Z","timestamp":1723141741000},"page":"833-844","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7121-7205","authenticated-orcid":false,"given":"Simon","family":"Schwitanski","sequence":"first","affiliation":[{"name":"High Performance Computing, RWTH Aachen University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9922-3112","authenticated-orcid":false,"given":"Yussur Mustafa","family":"Oraji","sequence":"additional","affiliation":[{"name":"High Performance Computing, RWTH Aachen University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1898-9995","authenticated-orcid":false,"given":"Cornelius","family":"P\u00e4tzold","sequence":"additional","affiliation":[{"name":"High Performance Computing, RWTH Aachen University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0640-8966","authenticated-orcid":false,"given":"Joachim","family":"Jenke","sequence":"additional","affiliation":[{"name":"High Performance Computing, RWTH Aachen University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3137-5596","authenticated-orcid":false,"given":"Felix","family":"Tomski","sequence":"additional","affiliation":[{"name":"High Performance Computing, RWTH Aachen University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2545-5258","authenticated-orcid":false,"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"High Performance Computing, RWTH Aachen University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,8,12]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"European MPI Users\u2019 Group Meeting. https:\/\/hal.science\/hal-03374614","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 \u201921 - European MPI Users\u2019 Group Meeting. https:\/\/hal.science\/hal-03374614"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2019.00104"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC52870.2021.9521645"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2014.46"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984033"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236367.3236369"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_2_8_1","volume-title":"GASPI: Global Address Space Programming Interface 17.1. https:\/\/raw.githubusercontent.com\/GASPI-Forum\/GASPI-Forum.github.io\/master\/standards\/GASPI-17.1.pdf [online","author":"Forum GASPI","year":"2017","unstructured":"GASPI Forum. 2017. GASPI: Global Address Space Programming Interface 17.1. https:\/\/raw.githubusercontent.com\/GASPI-Forum\/GASPI-Forum.github.io\/master\/standards\/GASPI-17.1.pdf [online; accessed 07-July-2024]."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","unstructured":"Robert Gerstenberger Maciej Besta and Torsten Hoefler. 2013. Enabling highly-scalable remote memory access programming with MPI-3 one sided. In SC\u201913. ACM 1\u201312. https:\/\/doi.org\/10.1145\/2503210.2503286","DOI":"10.1145\/2503210.2503286"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11261-4_5"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2780584"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW50202.2020.00104"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","unstructured":"Joachim Jenke Simon Schwitanski Isabel Th\u00e4rigen and Matthias\u00a0S. M\u00fcller. 2023. Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers. In Correctness@SC\u201923. ACM 187\u2013195. https:\/\/doi.org\/10.1145\/3624062.3624085","DOI":"10.1145\/3624062.3624085"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38750-0_9"},{"key":"e_1_3_2_2_15_1","unstructured":"Olaf Krzikalla. 2018. Neue Ans\u00e4tze zur Speicherzugriffsanalyse paralleler Anwendungen mit gemeinsam genutztem Adressraum [New approaches for memory access analysis of parallel applications with a shared address space]. Dissertation. Technische Universtit\u00e4t Dresden. https:\/\/nbn-resolving.org\/urn:nbn:de:bsz:14-qucosa2-332004"},{"key":"e_1_3_2_2_16_1","volume-title":"MPI: A Message-Passing Interface Standard Version 4.1","author":"Interface Forum Message Passing","year":"2023","unstructured":"Message Passing Interface Forum. 2023. MPI: A Message-Passing Interface Standard Version 4.1. http:\/\/mpi-forum.org\/docs\/mpi-4.1\/mpi41-report.pdf [online; accessed 07-July-2024]."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1080399.1080400"},{"key":"e_1_3_2_2_19_1","unstructured":"OpenSHMEM Committee. 2020. OpenSHMEM: Application Programming Interface Version 1.5. http:\/\/openshmem.org\/site\/sites\/default\/site_files\/OpenSHMEM-1.5.pdf [online; accessed 07-July-2024]."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","unstructured":"Chang-Seo Park Koushik Sen Paul Hargrove and Costin Iancu. 2011. Efficient Data Race Detection for Distributed Memory Parallel Programs. In SC \u201911. ACM Article 51 12\u00a0pages. https:\/\/doi.org\/10.1145\/2063384.2063452","DOI":"10.1145\/2063384.2063452"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness56720.2022.00008"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362663"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02277859"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","unstructured":"Simon Schwitanski Joachim Jenke Sven Klotz and Matthias\u00a0S M\u00fcller. 2023. RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs. In Correctness@SC\u201923. ACM 205\u2013214. https:\/\/doi.org\/10.1145\/3624062.3624087","DOI":"10.1145\/3624062.3624087"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness56720.2022.00009"},{"key":"e_1_3_2_2_27_1","volume-title":"ISC High Performance 2024 International Workshops. Springer. In Press.","author":"Schwitanski Simon","year":"2024","unstructured":"Simon Schwitanski, Yussur\u00a0Mustafa Oraji, Cornelius P\u00e4tzold, Joachim Jenke, and Matthias\u00a0S. M\u00fcller. 2024. Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs. In ISC High Performance 2024 International Workshops. Springer. In Press."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW55747.2022.00093"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_9"},{"key":"e_1_3_2_2_30_1","volume-title":"UPC Language Specifications Version 1.3. https:\/\/upc.lbl.gov\/publications\/upc-spec-1.3.pdf [online","author":"UPC Consortium","year":"2024","unstructured":"UPC Consortium. 2013. UPC Language Specifications Version 1.3. https:\/\/upc.lbl.gov\/publications\/upc-spec-1.3.pdf [online; accessed 07-July-2024]."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","unstructured":"Radjasouria Vinayagame Emmanuelle Saillard Samuel Thibault Van\u00a0Man Nguyen and Marc Sergent. 2023. Rethinking Data Race Detection in MPI-RMA Programs. In Correctness@SC\u201923. ACM 196\u2013204. https:\/\/doi.org\/10.1145\/3624062.3624086","DOI":"10.1145\/3624062.3624086"}],"event":{"name":"ICPP '24: the 53rd International Conference on Parallel Processing","location":"Gotland Sweden","acronym":"ICPP '24"},"container-title":["Proceedings of the 53rd International Conference on Parallel Processing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3673038.3673109","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3673038.3673109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T17:33:30Z","timestamp":1758648810000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3673038.3673109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,12]]},"references-count":31,"alternative-id":["10.1145\/3673038.3673109","10.1145\/3673038"],"URL":"https:\/\/doi.org\/10.1145\/3673038.3673109","relation":{},"subject":[],"published":{"date-parts":[[2024,8,12]]},"assertion":[{"value":"2024-08-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}