{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T08:00:29Z","timestamp":1768032029917,"version":"3.49.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031737152","type":"print"},{"value":"9783031737169","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T00:00:00Z","timestamp":1734134400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T00:00:00Z","timestamp":1734134400000},"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-73716-9_4","type":"book-chapter","created":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T06:17:06Z","timestamp":1734070626000},"page":"45-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Leveraging Static Analysis to\u00a0Accelerate Dynamic Race Detection for\u00a0Remote Memory Access Programs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7121-7205","authenticated-orcid":false,"given":"Simon","family":"Schwitanski","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9922-3112","authenticated-orcid":false,"given":"Yussur Mustafa","family":"Oraji","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1898-9995","authenticated-orcid":false,"given":"Cornelius","family":"P\u00e4tzold","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0640-8966","authenticated-orcid":false,"given":"Joachim","family":"Jenke","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2545-5258","authenticated-orcid":false,"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,12,14]]},"reference":[{"key":"4_CR1","unstructured":"Aitkaci, T.C., Sergent, M., Saillard, E., Barthou, D., Papaur\u00e9, G.: Dynamic data race detection for MPI-RMA programs. In: EuroMPI \u201921: European MPI Users\u2019 Group Meeting (2021). https:\/\/hal.science\/hal-03374614"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Chen, Z., et al.: MC-Checker: detecting memory consistency errors in MPI one-sided applications. In: International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2014, New Orleans, LA, USA, November 16\u201321, 2014, pp. 499\u2013510. IEEE (2014). https:\/\/doi.org\/10.1109\/SC.2014.46","DOI":"10.1109\/SC.2014.46"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Diep, T., F\u00fcrlinger, K., Thoai, N.: MC-CChecker: a clock-based approach to detect memory consistency errors in MPI one-sided applications. In: EuroMPI\u201918: European MPI Users\u2019 Group Meeting, Barcelona, Spain, September 23\u201326, 2018, pp. 9:1\u20139:11. ACM (2018). https:\/\/doi.org\/10.1145\/3236367.3236369","DOI":"10.1145\/3236367.3236369"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Ghosh, S., Halappanavar, M., Tumeo, A., Kalyanaraman, A., Gebremedhin, A.H.: MiniVite: a graph analytics benchmarking tool for massively parallel systems. In: 2018 IEEE\/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS), pp. 51\u201356. IEEE (2018). https:\/\/doi.org\/10.1109\/PMBS.2018.8641631","DOI":"10.1109\/PMBS.2018.8641631"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2780584","volume":"2","author":"T Hoefler","year":"2015","unstructured":"Hoefler, T., et al.: Remote memory access programming in MPI-3. ACM Trans. Parallel Comput. 2(2), 1\u201326 (2015). https:\/\/doi.org\/10.1145\/2780584","journal-title":"ACM Trans. Parallel Comput."},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Li, M., et al.: Scalable graph500 design with MPI-3 RMA. In: 2014 IEEE International Conference on Cluster Computing, CLUSTER 2014, Madrid, Spain, September 22\u201326, 2014, pp. 230\u2013238. IEEE (2014). https:\/\/doi.org\/10.1109\/CLUSTER.2014.6968755","DOI":"10.1109\/CLUSTER.2014.6968755"},{"key":"4_CR7","unstructured":"Message Passing Interface Forum: MPI: a message-passing interface standard version 4.1 (2023). http:\/\/mpi-forum.org\/docs\/mpi-4.1\/mpi41-report.pdf. Accessed 14 Jun 2024"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Oraji, Y.M.: Evaluating static analysis techniques to accelerate data race detection for MPI RMA. Bachelor Thesis, RWTH Aachen University, Aachen (2023). https:\/\/doi.org\/10.18154\/RWTH-2023-05106","DOI":"10.18154\/RWTH-2023-05106"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Saillard, E., Sergent, M., Kaci, C.T.A., Barthou, D.: Static local concurrency errors detection in MPI-RMA programs. In: Sixth IEEE\/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13\u201318, 2022, pp. 18\u201326. IEEE (2022). https:\/\/doi.org\/10.1109\/CORRECTNESS56720.2022.00008","DOI":"10.1109\/CORRECTNESS56720.2022.00008"},{"key":"4_CR10","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 2023, Denver, CO, USA, November 12\u201317, 2023, pp. 205\u2013214. ACM (2023). https:\/\/doi.org\/10.1145\/3624062.3624087","DOI":"10.1145\/3624062.3624087"},{"key":"4_CR11","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: Sixth IEEE\/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13\u201318, 2022, pp. 27\u201336. IEEE (2022). https:\/\/doi.org\/10.1109\/CORRECTNESS56720.2022.00009","DOI":"10.1109\/CORRECTNESS56720.2022.00009"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-29860-8_9","volume-title":"Runtime Verification","author":"K Serebryany","year":"2012","unstructured":"Serebryany, K., Potapenko, A., Iskhodzhanov, T., Vyukov, D.: Dynamic race detection with LLVM compiler. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 110\u2013114. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_9"},{"key":"4_CR13","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 \u201923 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12\u201317, 2023, pp. 196\u2013204. ACM (2023). https:\/\/doi.org\/10.1145\/3624062.3624086","DOI":"10.1145\/3624062.3624086"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Van\u00a0der Wijngaart, R.F., Mattson, T.G.: The parallel research kernels. In: IEEE High Performance Extreme Computing Conference, HPEC 2014, Waltham, MA, USA, September 9\u201311, 2014, pp. 1\u20136. IEEE (2014). https:\/\/doi.org\/10.1109\/HPEC.2014.7040972","DOI":"10.1109\/HPEC.2014.7040972"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing. ISC High Performance 2024 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73716-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T05:19:29Z","timestamp":1749878369000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73716-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,14]]},"ISBN":["9783031737152","9783031737169"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73716-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,14]]},"assertion":[{"value":"14 December 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"}},{"value":"ISC High Performance","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on High Performance Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hamburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 May 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"supercomputing2023a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}