{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:41:21Z","timestamp":1725799281948},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,15]]},"DOI":"10.1145\/1065944.1065957","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"95-106","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Modeling wildcard-free MPI programs for verification"],"prefix":"10.1145","author":[{"given":"Stephen F.","family":"Siegel","sequence":"first","affiliation":[{"name":"University of Massachusetts, Amherst, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"volume-title":"Addison-Wesley","year":"2000","author":"Andrews G. R.","key":"e_1_3_2_1_1_1"},{"unstructured":"ASCI\/Alliance Center for Astrophysical Thermonuclear Flashes web site. http:\/\/flash.uchicago.edu.  ASCI\/Alliance Center for Astrophysical Thermonuclear Flashes web site. http:\/\/flash.uchicago.edu.","key":"e_1_3_2_1_2_1"},{"volume-title":"MIT Press","year":"1999","author":"Clarke E. M.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/337180.337234"},{"volume-title":"Addison-Wesley","year":"2004","author":"Holzmann G. J.","key":"e_1_3_2_1_5_1"},{"volume-title":"Kluwer Academic Publishers","year":"2000","author":"Kaufmann M.","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/361227.361234"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1002\/cpe.701"},{"unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface standard version 1.1. http:\/\/www.mpi-forum.org\/docs\/ 1995.  Message Passing Interface Forum. MPI: A Message-Passing Interface standard version 1.1. http:\/\/www.mpi-forum.org\/docs\/ 1995.","key":"e_1_3_2_1_9_1"},{"unstructured":"Message Passing Interface Forum. MPI-2: Extensions to the Message-Passing Interface. http:\/\/www.mpi-forum.org\/docs\/ 1997.  Message Passing Interface Forum. MPI-2: Extensions to the Message-Passing Interface. http:\/\/www.mpi-forum.org\/docs\/ 1997.","key":"e_1_3_2_1_10_1"},{"volume-title":"SRI International","year":"1999","author":"Owre S.","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/978-3-540-30579-8_27"},{"unstructured":"S. F.\n       \n      Siegel\n     and \n      \n      \n      G. S.\n       \n      Avrunin\n      \n  \n  . \n  Verification of MPI-based software for scientific computation. In S. Graf and L. Mounier editors Model Checking Software: 11th International SPIN Workshop Barcelona Spain April 1-3 2004 Proceedings volume \n  2989\n   of \n  Lecture Notes in Computer Science pages \n  286\n  --\n  303\n  . \n  Springer-Verlag 2004.  S. F. Siegel and G. S. Avrunin. Verification of MPI-based software for scientific computation. In S. Graf and L. Mounier editors Model Checking Software: 11th International SPIN Workshop Barcelona Spain April 1-3 2004 Proceedings volume 2989 of Lecture Notes in Computer Science pages 286--303. Springer-Verlag 2004.","key":"e_1_3_2_1_14_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.5555\/370049.370462"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"acronym":"PPoPP05","name":"PPoPP05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 2005","location":"Chicago IL USA"},"container-title":["Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065944.1065957","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T07:33:17Z","timestamp":1672990397000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065944.1065957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,15]]},"references-count":14,"alternative-id":["10.1145\/1065944.1065957","10.1145\/1065944"],"URL":"https:\/\/doi.org\/10.1145\/1065944.1065957","relation":{},"subject":[],"published":{"date-parts":[[2005,6,15]]},"assertion":[{"value":"2005-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}