{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:38:43Z","timestamp":1768030723522,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":6,"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.3624093","type":"proceedings-article","created":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T13:53:39Z","timestamp":1699624419000},"page":"238-241","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Highlighting PARCOACH Improvements on MBI"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-5143-8082","authenticated-orcid":false,"given":"Philippe","family":"Virouleau","sequence":"first","affiliation":[{"name":"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-6717-3940","authenticated-orcid":false,"given":"Marc","family":"Sergent","sequence":"additional","affiliation":[{"name":"Eviden, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6353-4136","authenticated-orcid":false,"given":"Pierre","family":"Lemarinier","sequence":"additional","affiliation":[{"name":"Eviden, France"}]}],"member":"320","published-online":{"date-parts":[[2023,11,12]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Analyse et optimisations pour les applications HPC \u00e0 m\u00e9moire distribu\u00e9e et adressable globalement. Ph.\u00a0D. Dissertation","author":"Aitkaci Tassadit","unstructured":"Tassadit Aitkaci. 2022. Analyse et optimisations pour les applications HPC \u00e0 m\u00e9moire distribu\u00e9e et adressable globalement. Ph.\u00a0D. Dissertation. University of Bordeaux."},{"key":"e_1_3_2_2_2_1","first-page":"425","article-title":"PARCOACH: Combining static and dynamic validation of MPI collective communications","volume":"28","author":"Emmanuelle Saillard","year":"2014","unstructured":"Saillard Emmanuelle, Carribault Patrick, and Barthou Denis. 2014. PARCOACH: Combining static and dynamic validation of MPI collective communications. IJHPCA 28, 4 (2014), 425\u2013434.","journal-title":"IJHPCA"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness.2018.00013"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness54621.2021.00008"},{"key":"e_1_3_2_2_5_1","volume-title":"Static Local Concurrency Errors Detection in MPI-RMA Programs. In Correctness 2022 - Sixth International Workshop on Software Correctness for HPC Applications. Dallas, United States.","author":"Saillard Emmanuelle","year":"2022","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."},{"key":"e_1_3_2_2_6_1","volume-title":"EuroMPI","author":"Tassadit Aitkaci","year":"2021","unstructured":"Aitkaci Tassadit, Sergent Marc, Saillard Emmanuelle, Barthou Denis, and Guillaume Papaure. 2021. Dynamic Data Race Detection for MPI-RMA Programs. In EuroMPI 2021."}],"event":{"name":"SC-W 2023: Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis","location":"Denver CO USA","acronym":"SC-W 2023"},"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.3624093","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3624062.3624093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T03:00:32Z","timestamp":1755745232000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624062.3624093"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,12]]},"references-count":6,"alternative-id":["10.1145\/3624062.3624093","10.1145\/3624062"],"URL":"https:\/\/doi.org\/10.1145\/3624062.3624093","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"}}]}}