{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:01:31Z","timestamp":1754161291111,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","funder":[{"name":"National Key R&D Program of China","award":["2022YFB4501903"],"award-info":[{"award-number":["2022YFB4501903"]}]},{"name":"NSFC","award":["62172429","62032024"],"award-info":[{"award-number":["62172429","62032024"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3731438","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:10:43Z","timestamp":1753729843000},"page":"1252-1253","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic Execution Based Automatic Performance Optimization for MPI Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-6095-6858","authenticated-orcid":false,"given":"Zheng","family":"Bian","sequence":"first","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4066-7892","authenticated-orcid":false,"given":"Zhenbang","family":"Chen","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0637-8744","authenticated-orcid":false,"given":"Ji","family":"Wang","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"10","volume-title":"EuroMPI '17","author":"Hadia","year":"2017","unstructured":"Hadia Ahmed and et.al. 2017. Transforming blocking MPI collectives to Non-blocking and persistent operations. In EuroMPI '17. Chicago, IL, USA, September 25\u201328, 2017, 11 pages. 10.1145\/3127024.3127033"},{"key":"e_1_3_2_1_2_1","volume-title":"ICSE '20","author":"Zhenbang","year":"2020","unstructured":"Zhenbang Chen and et.al. 2020. MPI-SV: a symbolic verifier for MPI programs. In ICSE '20 (2020). 93\u201396. 10.1145\/3377812.3382144"},{"key":"e_1_3_2_1_3_1","volume-title":"ICS '09","author":"Anthony","year":"2009","unstructured":"Anthony Danalis and et.al. 2009. MPI-aware compiler optimizations for improving communication-computation overlap. In ICS '09 (2009). 316\u2013325. 10.1145\/1542275.1542321"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-SmartCity-DSS50907.2020.00097"},{"key":"e_1_3_2_1_5_1","unstructured":"Van Man Nguyen. 2022. Compile-time Validation and Optimization of MPI Non-blocking Communications. Ph.D. Dissertation. Bordeaux. https:\/\/theses.fr\/2022BORD0415"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59851-8_4"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3731438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:12:57Z","timestamp":1753729977000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3731438"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":6,"alternative-id":["10.1145\/3696630.3731438","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3731438","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}