{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T07:04:36Z","timestamp":1769756676771,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,2,20]],"date-time":"2008-02-20T00:00:00Z","timestamp":1203465600000},"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":[[2008,2,20]]},"DOI":"10.1145\/1345206.1345258","type":"proceedings-article","created":{"date-parts":[[2008,2,28]],"date-time":"2008-02-28T14:02:49Z","timestamp":1204207369000},"page":"285-286","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":49,"title":["ISP"],"prefix":"10.1145","author":[{"given":"Sarvani S.","family":"Vakkalanka","sequence":"first","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}]},{"given":"Subodh","family":"Sharma","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}]},{"given":"Robert M.","family":"Kirby","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}]}],"member":"320","published-online":{"date-parts":[[2008,2,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/169627.169855"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11846802_13"},{"key":"e_1_3_2_1_3_1","volume-title":"EuroPVM\/MPI, 344--353","author":"Pervez Salman","year":"2007","unstructured":"Salman Pervez , Robert Palmer , Ganesh Gopalakrishnan , Robert M. Kirby , Rajeev Thakur , and William Gropp , Practical Model Checking Method for Verifying Correctness of MPI Programs , EuroPVM\/MPI, 344--353 , 2007 . Salman Pervez, Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, and William Gropp, Practical Model Checking Method for Verifying Correctness of MPI Programs, EuroPVM\/MPI, 344--353, 2007."},{"key":"e_1_3_2_1_4_1","volume-title":"Model Checking","author":"Clarke E.M.","year":"1999","unstructured":"E.M. Clarke , O. Grumberg , and D. Peled , Model Checking , MIT Press , 1999 . E.M. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press, 1999."},{"key":"e_1_3_2_1_5_1","volume-title":"The SPIN Model Checker","author":"Holzmann G. J.","year":"2004","unstructured":"G. J. Holzmann , The SPIN Model Checker , Addison-Wesley , 2004 . G. J. Holzmann, The SPIN Model Checker, Addison-Wesley, 2004."},{"key":"e_1_3_2_1_6_1","first-page":"4349","author":"Siegel Stephen F.","year":"2007","unstructured":"Stephen F. Siegel , Model Checking Nonblocking MPI Programs , In VMCAI , 44--58 , LNCS 4349 , 2007 . Stephen F. Siegel, Model Checking Nonblocking MPI Programs, In VMCAI, 44--58, LNCS 4349, 2007.","journal-title":"LNCS"},{"key":"e_1_3_2_1_7_1","first-page":"4595","author":"Yang Yu","year":"2007","unstructured":"Yu Yang , Xiaofang Chen , Ganesh Gopalakrishnan , and Robert M. Kirby , Distributed Dynamic Partial Order Reduction based Verification of Threaded Software , In SPIN , 58--75 , LNCS 4595 , 2007 . Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, and Robert M. Kirby, Distributed Dynamic Partial Order Reduction based Verification of Threaded Software, In SPIN, 58--75, LNCS 4595, 2007.","journal-title":"LNCS"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273647.1273657"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147409"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"}],"event":{"name":"PPoPP08: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Salt Lake City UT USA","acronym":"PPoPP08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1345206.1345258","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1345206.1345258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:18Z","timestamp":1750254978000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1345206.1345258"}},"subtitle":["a tool for model checking MPI programs"],"short-title":[],"issued":{"date-parts":[[2008,2,20]]},"references-count":12,"alternative-id":["10.1145\/1345206.1345258","10.1145\/1345206"],"URL":"https:\/\/doi.org\/10.1145\/1345206.1345258","relation":{},"subject":[],"published":{"date-parts":[[2008,2,20]]},"assertion":[{"value":"2008-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}