{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T18:30:55Z","timestamp":1791138655965,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,15]],"date-time":"2013-09-15T00:00:00Z","timestamp":1379203200000},"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":[[2013,9,15]]},"DOI":"10.1145\/2488551.2488555","type":"proceedings-article","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T06:54:53Z","timestamp":1378882493000},"page":"117-122","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Combining static and dynamic validation of MPI collective communications"],"prefix":"10.1145","author":[{"given":"Emmanuelle","family":"Saillard","sequence":"first","affiliation":[{"name":"CEA, DAM, Arpajon, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrick","family":"Carribault","sequence":"additional","affiliation":[{"name":"CEA, DAM, Arpajon, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Denis","family":"Barthou","sequence":"additional","affiliation":[{"name":"University of Bordeaux, Bordeaux, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145319.1145342"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11557265_21"},{"key":"e_1_3_2_1_4_1","first-page":"1","volume":"30","author":"Hilbrich T.","year":"2012","unstructured":"T. Hilbrich , J. Protze , M. Schulz , B. R. de Supinski , and M. S. M\u00fcller . MPI runtime error detection with MUST: advances in deadlock detection. In Supercomputing, pages 30 : 1 -- 30 :11, 2012 . T. Hilbrich, J. Protze, M. Schulz, B. R. de Supinski, and M. S. M\u00fcller. MPI runtime error detection with MUST: advances in deadlock detection. In Supercomputing, pages 30:1--30:11, 2012.","journal-title":"In Supercomputing, pages"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11261-4_5"},{"key":"e_1_3_2_1_6_1","first-page":"493","volume-title":"PARCO","author":"Krammer B.","year":"2003","unstructured":"B. Krammer , K. Bidmon , M. S. M\u00fcller , and M. M. Resch . MARMOT: An MPI analysis and checking tool . In PARCO , pages 493 -- 500 , 2003 . B. Krammer, K. Bidmon, M. S. M\u00fcller, and M. M. Resch. MARMOT: An MPI analysis and checking tool. In PARCO, pages 493--500, 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.705"},{"key":"e_1_3_2_1_8_1","volume-title":"A survey of MPI related debuggers and tools","author":"Sharma S.","year":"2007","unstructured":"S. Sharma , G. Gopalakrishnan , and R. M. Kirby . A survey of MPI related debuggers and tools . 2007 . S. Sharma, G. Gopalakrishnan, and R. M. Kirby. A survey of MPI related debuggers and tools. 2007."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941603"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30218-6_11"},{"key":"e_1_3_2_1_11_1","unstructured":"NASPB site:http:\/\/www.nas.nasa.gov\/software\/NPBl.  NASPB site:http:\/\/www.nas.nasa.gov\/software\/NPBl."},{"key":"e_1_3_2_1_12_1","first-page":"51","volume-title":"Supercomputing","author":"Vetter J. S.","year":"2000","unstructured":"J. S. Vetter and B. R. de Supinski . Dynamic software testing of MPI applications with Umpire . In Supercomputing , pages 51 -- 51 . ACM\/IEEE, 2000 . J. S. Vetter and B. R. de Supinski. Dynamic software testing of MPI applications with Umpire. In Supercomputing, pages 51--51. ACM\/IEEE, 2000."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.7"},{"key":"e_1_3_2_1_14_1","volume-title":"Discrete and Continuous Dynamical Systems Series S. NMCF","author":"Wolff M.","year":"2009","unstructured":"M. Wolff , S. Jaouen , and H. Jourden . Hight-order dimensionally split lagrange-remap schemes for ideal magnetohydrodynamics . In Discrete and Continuous Dynamical Systems Series S. NMCF , 2009 . M. Wolff, S. Jaouen, and H. Jourden. Hight-order dimensionally split lagrange-remap schemes for ideal magnetohydrodynamics. In Discrete and Continuous Dynamical Systems Series S. NMCF, 2009."}],"event":{"name":"EuroMPI '13: 20th European MPI Users's Group Meeting","location":"Madrid Spain","acronym":"EuroMPI '13","sponsor":["ARCOS Computer Architecture and Technology Area, Universidad Carlos III de Madrid","SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the 20th European MPI Users' Group Meeting"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2488551.2488555","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2488551.2488555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:04Z","timestamp":1750235944000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2488551.2488555"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,15]]},"references-count":14,"alternative-id":["10.1145\/2488551.2488555","10.1145\/2488551"],"URL":"https:\/\/doi.org\/10.1145\/2488551.2488555","relation":{},"subject":[],"published":{"date-parts":[[2013,9,15]]},"assertion":[{"value":"2013-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}