{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:09Z","timestamp":1750221309248,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,12]],"date-time":"2017-11-12T00:00:00Z","timestamp":1510444800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Inria","award":["Hac Specis"],"award-info":[{"award-number":["Hac Specis"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,12]]},"DOI":"10.1145\/3145344.3145345","type":"proceedings-article","created":{"date-parts":[[2017,10,31]],"date-time":"2017-10-31T12:31:37Z","timestamp":1509453097000},"page":"28-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Verifying MPI Applications with SimGridMC"],"prefix":"10.1145","author":[{"given":"Anh","family":"Pham","sequence":"first","affiliation":[{"name":"IRISA laboratory, Rennes, France"}]},{"given":"Thierry","family":"J\u00e9ron","sequence":"additional","affiliation":[{"name":"IRISA laboratory, Rennes, France"}]},{"given":"Martin","family":"Quinson","sequence":"additional","affiliation":[{"name":"IRISA laboratory, Rennes, France"}]}],"member":"320","published-online":{"date-parts":[[2017,11,12]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/2535838.2535845"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/ICCCN.2010.5560143"},{"unstructured":"Henri Casanova. The SMPI CourseWare. https:\/\/simgrid.github.io\/SMPI_CourseWare\/.  Henri Casanova. The SMPI CourseWare. https:\/\/simgrid.github.io\/SMPI_CourseWare\/.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/TPDS.2017.2669305"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1040305.1040315"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/263699.263717"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/2043174.2043194"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/PDP.2015.95"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/978-3-642-11261-4_5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/978-3-319-43659-3_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/S0927-5452(04)80063-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/3093333.3009847"},{"key":"e_1_3_2_1_13_1","volume-title":"6th USENIX Symposium on Networked Systems Design & Implementation (NSDI)","author":"Lin Haoxiang","year":"2009","unstructured":"Haoxiang Lin , Mao Yang , Fan Long , Lintao Zhang , and Lidong Zhou . Modist : Transparent model checking of unmodified distributed systems . In 6th USENIX Symposium on Networked Systems Design & Implementation (NSDI) , 2009 . URL https:\/\/www.usenix.org\/legacy\/events\/nsdi09\/tech\/full_papers\/yang\/yang_html\/. Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. Modist: Transparent model checking of unmodified distributed systems. In 6th USENIX Symposium on Networked Systems Design & Implementation (NSDI), 2009. URL https:\/\/www.usenix.org\/legacy\/events\/nsdi09\/tech\/full_papers\/yang\/yang_html\/."},{"key":"e_1_3_2_1_14_1","first-page":"274","volume-title":"FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings","author":"Merz Stephan","year":"2011","unstructured":"Stephan Merz , Martin Quinson , and Cristian Rosa . SimGrid MC : Verification Support for a Multi-API Simulation Platform. In Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference , FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings , pages 274 -- 288 , 2011 . Stephan Merz, Martin Quinson, and Cristian Rosa. SimGrid MC: Verification Support for a Multi-API Simulation Platform. In Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, pages 274--288, 2011."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/844128.844136"},{"key":"e_1_3_2_1_16_1","first-page":"267","volume-title":"8th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","volume":"8","author":"Musuvathi Madanlal","year":"2008","unstructured":"Madanlal Musuvathi , Shaz Qadeer , Thomas Ball , Gerard Basler , Piramanayagam Arumuga Nainar , and Iulian Neamtiu . Finding and reproducing heisenbugs in concurrent programs . In 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI) , volume 8 , pages 267 -- 280 , 2008 . URL https:\/\/www.usenix.org\/legacy\/event\/osdi08\/tech\/full_papers\/musuvathi\/musuvathi_html\/. Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), volume 8, pages 267--280, 2008. URL https:\/\/www.usenix.org\/legacy\/event\/osdi08\/tech\/full_papers\/musuvathi\/musuvathi_html\/."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1016\/j.entcs.2006.01.007"},{"key":"e_1_3_2_1_18_1","first-page":"456","volume-title":"26th International Conference on Concurrency Theory, CONCUR 2015","author":"Rodr\u00edguez C\u00e9sar","year":"2015","unstructured":"C\u00e9sar Rodr\u00edguez , Marcelo Sousa , Subodh Sharma , and Daniel Kroening . Unfolding-based partial order reduction . In 26th International Conference on Concurrency Theory, CONCUR 2015 , Madrid, Spain, September 1.4 , 2015 , pages 456 -- 469 , 2015. C\u00e9sar Rodr\u00edguez, Marcelo Sousa, Subodh Sharma, and Daniel Kroening. Unfolding-based partial order reduction. In 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pages 456--469, 2015."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1177\/1094342014552204"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1007\/978-3-540-69738-1_3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/2038037.1941603"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/2807591.2807635"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1007\/978-3-642-05089-3_46"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1023\/A:1022920129859"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/1594835.1504214"},{"key":"e_1_3_2_1_27_1","first-page":"1","volume-title":"Greg Bronevetsky. A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. In 2010 ACM\/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, SC'10","author":"Vo Anh","year":"2010","unstructured":"Anh Vo , S. Aananthakrishnan , Ganesh Gopalakrishnan , Bronis R. de Supinski , Martin Schulz , and Greg Bronevetsky. A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. In 2010 ACM\/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, SC'10 , pages 1 -- 10 . IEEE Computer Society , Nov 2010 . Anh Vo, S. Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, and Greg Bronevetsky. A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. In 2010 ACM\/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, SC'10, pages 1--10. IEEE Computer Society, Nov 2010."}],"event":{"sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","IEEE CS"],"acronym":"SC '17","name":"SC '17: The International Conference for High Performance Computing, Networking, Storage and Analysis","location":"Denver CO USA"},"container-title":["Proceedings of the First International Workshop on Software Correctness for HPC Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3145344.3145345","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3145344.3145345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:34Z","timestamp":1750212814000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3145344.3145345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,12]]},"references-count":26,"alternative-id":["10.1145\/3145344.3145345","10.1145\/3145344"],"URL":"https:\/\/doi.org\/10.1145\/3145344.3145345","relation":{},"subject":[],"published":{"date-parts":[[2017,11,12]]},"assertion":[{"value":"2017-11-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}