{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:26:15Z","timestamp":1769747175749,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,25]],"date-time":"2016-09-25T00:00:00Z","timestamp":1474761600000},"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":[[2016,9,25]]},"DOI":"10.1145\/2966884.2966906","type":"proceedings-article","created":{"date-parts":[[2016,11,29]],"date-time":"2016-11-29T16:28:42Z","timestamp":1480436922000},"page":"188-197","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Runtime Correctness Analysis of MPI-3 Nonblocking Collectives"],"prefix":"10.1145","author":[{"given":"Tobias","family":"Hilbrich","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t, Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weber","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t, Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Protze","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, JARA--High-Performance, Computing, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bronis R.","family":"de Supinski","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National, Laboratory, Livermore, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang E.","family":"Nagel","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t, Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11557265_21"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503237"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488551.2488570"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362692"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.705"},{"key":"e_1_3_2_1_6_1","unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface Standard Version 3.0. http:\/\/www.mpi-forum.org\/docs\/mpi-3.0\/mpi30-report.pdf 2012. Last visited on 27\/11\/2013.  Message Passing Interface Forum. MPI: A Message-Passing Interface Standard Version 3.0. http:\/\/www.mpi-forum.org\/docs\/mpi-3.0\/mpi30-report.pdf 2012. Last visited on 27\/11\/2013."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing","author":"Ohly P.","year":"2007","unstructured":"P. Ohly and W. Krotz-Vogel . Automated MPI Correctness Checking: What if there was a magic option ? In Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing , 2007 . P. Ohly and W. Krotz-Vogel. Automated MPI Correctness Checking: What if there was a magic option? In Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2012.41"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPPW.2014.37"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488551.2488555"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the International Conference ParCo 2005","volume":"33","author":"Samofalov V.","year":"2005","unstructured":"V. Samofalov , V. Krukov , B. Kuhn , S. Zheltov , A. V. Konovalov , and J. DeSouza . Automated Correctness Analysis of MPI Programs with Intel(r) Message Checker. In Parallel Computing: Current & Future Issues of High-End Computing , Proceedings of the International Conference ParCo 2005 , volume 33 of John von Neumann Institute for Computing Series, pages 901--908. Central Institute for Applied Mathematics, J\u00fclich, Germany , 2005 . V. Samofalov, V. Krukov, B. Kuhn, S. Zheltov, A. V. Konovalov, and J. DeSouza. Automated Correctness Analysis of MPI Programs with Intel(r) Message Checker. In Parallel Computing: Current & Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005, volume 33 of John von Neumann Institute for Computing Series, pages 901--908. Central Institute for Applied Mathematics, J\u00fclich, Germany, 2005."},{"key":"e_1_3_2_1_12_1","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM\/MPI)","author":"Siegel S.","year":"2006","unstructured":"S. Siegel . Using MPI-Spin to Model Check MPI Programs with Nonblocking Communication . In Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM\/MPI) , 2006 . S. Siegel. Using MPI-Spin to Model Check MPI Programs with Nonblocking Communication. In Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM\/MPI), 2006."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941603"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30218-6_11"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345258"},{"key":"e_1_3_2_1_16_1","volume-title":"Supinski. Dynamic Software Testing of MPI Applications with Umpire. In Proceedings of the 2000 ACM\/IEEE conference on Supercomputing, Supercomputing '00","author":"Vetter J. S.","year":"2000","unstructured":"J. S. Vetter and B. R. de Supinski. Dynamic Software Testing of MPI Applications with Umpire. In Proceedings of the 2000 ACM\/IEEE conference on Supercomputing, Supercomputing '00 , Washington, DC, USA , 2000 . IEEE Computer Society. J. S. Vetter and B. R. de Supinski. Dynamic Software Testing of MPI Applications with Umpire. In Proceedings of the 2000 ACM\/IEEE conference on Supercomputing, Supercomputing '00, Washington, DC, USA, 2000. IEEE Computer Society."}],"event":{"name":"EuroMPI 2016: The 23rd European MPI Users' Group Meeting","location":"Edinburgh United Kingdom","acronym":"EuroMPI 2016","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the 23rd European MPI Users' Group Meeting"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2966884.2966906","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2966884.2966906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:53Z","timestamp":1750222553000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2966884.2966906"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,25]]},"references-count":16,"alternative-id":["10.1145\/2966884.2966906","10.1145\/2966884"],"URL":"https:\/\/doi.org\/10.1145\/2966884.2966906","relation":{},"subject":[],"published":{"date-parts":[[2016,9,25]]},"assertion":[{"value":"2016-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}