{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T16:27:43Z","timestamp":1762014463666,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T00:00:00Z","timestamp":1568160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1562306, CCF-1822191, CCF-182143"],"award-info":[{"award-number":["CCF-1562306, CCF-1822191, CCF-182143"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["801039"],"award-info":[{"award-number":["801039"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,11]]},"DOI":"10.1145\/3343211.3343213","type":"proceedings-article","created":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T12:03:10Z","timestamp":1566561790000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Exposition, clarification, and expansion of MPI semantic terms and conventions"],"prefix":"10.1145","author":[{"given":"Purushotham V.","family":"Bangalore","sequence":"first","affiliation":[{"name":"University of Alabama at Birmingham"}]},{"given":"Rolf","family":"Rabenseifner","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}]},{"given":"Daniel J.","family":"Holmes","sequence":"additional","affiliation":[{"name":"The University of Edinburgh, Edinburgh, Scotland, UK"}]},{"given":"Julien","family":"Jaeger","sequence":"additional","affiliation":[{"name":"CEA, France"}]},{"given":"Guillaume","family":"Mercier","sequence":"additional","affiliation":[{"name":"Bordeaux Institute of Technology, Inria, France"}]},{"given":"Claudia","family":"Blaas-Schenner","sequence":"additional","affiliation":[{"name":"VSC Research Center, Austria"}]},{"given":"Anthony","family":"Skjellum","sequence":"additional","affiliation":[{"name":"Univ. of Tennessee at Chattanooga"}]}],"member":"320","published-online":{"date-parts":[[2019,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2020373.2020375"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.660313"},{"key":"e_1_3_2_1_3_1","volume-title":"MPI: A Message-Passing Interface Standard. Version 1.0. Technical Report. Univ. of Tennessee","author":"Interface Forum Message Passing","year":"1994","unstructured":"Message Passing Interface Forum . 1994 . MPI: A Message-Passing Interface Standard. Version 1.0. Technical Report. Univ. of Tennessee , Knoxville, TN, USA . Message Passing Interface Forum. 1994. MPI: A Message-Passing Interface Standard. Version 1.0. Technical Report. Univ. of Tennessee, Knoxville, TN, USA."},{"key":"e_1_3_2_1_4_1","volume-title":"MPI: A Message-Passing Interface Standard. Version 2.0. Technical Report. Univ. of Tennessee","author":"Interface Forum Message Passing","year":"1997","unstructured":"Message Passing Interface Forum . 1997 . MPI: A Message-Passing Interface Standard. Version 2.0. Technical Report. Univ. of Tennessee , Knoxville, TN, USA . Message Passing Interface Forum. 1997. MPI: A Message-Passing Interface Standard. Version 2.0. Technical Report. Univ. of Tennessee, Knoxville, TN, USA."},{"key":"e_1_3_2_1_5_1","volume-title":"MPI: A Message-Passing Interface Standard. Version 2.1. Technical Report. Univ. of Tennessee","author":"Interface Forum Message Passing","year":"2008","unstructured":"Message Passing Interface Forum . 2008 . MPI: A Message-Passing Interface Standard. Version 2.1. Technical Report. Univ. of Tennessee , Knoxville, TN, USA . Message Passing Interface Forum. 2008. MPI: A Message-Passing Interface Standard. Version 2.1. Technical Report. Univ. of Tennessee, Knoxville, TN, USA."},{"key":"e_1_3_2_1_6_1","volume-title":"MPI: A Message-Passing Interface Standard. Version 3.1. Technical Report. Univ. of Tennessee","author":"Interface Forum Message Passing","year":"2015","unstructured":"Message Passing Interface Forum . 2015 . MPI: A Message-Passing Interface Standard. Version 3.1. Technical Report. Univ. of Tennessee , Knoxville, TN, USA . Message Passing Interface Forum. 2015. MPI: A Message-Passing Interface Standard. Version 3.1. Technical Report. Univ. of Tennessee, Knoxville, TN, USA."},{"key":"e_1_3_2_1_7_1","volume-title":"MPI: A Message-Passing Interface Standard. 2018 Draft Specification. Technical Report. Univ. of Tennessee","author":"Interface Forum Message Passing","year":"2018","unstructured":"Message Passing Interface Forum . 2018 . MPI: A Message-Passing Interface Standard. 2018 Draft Specification. Technical Report. Univ. of Tennessee , Knoxville, TN, USA. Note : This is the first MPI-4 Draft Specification . Message Passing Interface Forum. 2018. MPI: A Message-Passing Interface Standard. 2018 Draft Specification. Technical Report. Univ. of Tennessee, Knoxville, TN, USA. Note: This is the first MPI-4 Draft Specification."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043194"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345257"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.03.007"},{"key":"e_1_3_2_1_11_1","volume-title":"Kirby","author":"Palmer Robert","year":"2008","unstructured":"Robert Palmer , Michael DeLisi , Ganesh Gopalakrishnan , and Robert M . Kirby . 2008 . An Approach to Formalization and Analysis of Message Passing Libraries. In Formal Methods for Industrial Critical Systems, Stefan Leue and Pedro Merino (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 164--181. Robert Palmer, Michael DeLisi, Ganesh Gopalakrishnan, and Robert M. Kirby. 2008. An Approach to Formalization and Analysis of Message Passing Libraries. In Formal Methods for Industrial Critical Systems, Stefan Leue and Pedro Merino (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 164--181."},{"volume-title":"Model Checking Nonblocking MPI Programs","author":"Siegel Stephen F.","key":"e_1_3_2_1_12_1","unstructured":"Stephen F. Siegel . 2007. Model Checking Nonblocking MPI Programs . In Verification, Model Checking, and Abstract Interpretation, Byron Cook and Andreas Podelski (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 44--58. Stephen F. Siegel. 2007. Model Checking Nonblocking MPI Programs. In Verification, Model Checking, and Abstract Interpretation, Byron Cook and Andreas Podelski (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 44--58."},{"key":"e_1_3_2_1_13_1","volume-title":"Avrunin","author":"Siegel Stephen F.","year":"2004","unstructured":"Stephen F. Siegel and George S . Avrunin . 2004 . Verification of MPI-Based Software for Scientific Computation. In Model Checking Software, Susanne Graf and Laurent Mounier (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 286--303. Stephen F. Siegel and George S. Avrunin. 2004. Verification of MPI-Based Software for Scientific Computation. In Model Checking Software, Susanne Graf and Laurent Mounier (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 286--303."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_46"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/210308.210315"}],"event":{"name":"EuroMPI 2019: 26th European MPI Users' Group Meeting","acronym":"EuroMPI 2019","location":"Z\u00fcrich Switzerland"},"container-title":["Proceedings of the 26th European MPI Users' Group Meeting"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3343211.3343213","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3343211.3343213","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3343211.3343213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:06Z","timestamp":1750201986000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3343211.3343213"}},"subtitle":["is a nonblocking MPI function permitted to block?"],"short-title":[],"issued":{"date-parts":[[2019,9,11]]},"references-count":15,"alternative-id":["10.1145\/3343211.3343213","10.1145\/3343211"],"URL":"https:\/\/doi.org\/10.1145\/3343211.3343213","relation":{},"subject":[],"published":{"date-parts":[[2019,9,11]]},"assertion":[{"value":"2019-09-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}