{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:14:12Z","timestamp":1743009252705,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642112607"},{"type":"electronic","value":"9783642112614"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11261-4_12","type":"book-chapter","created":{"date-parts":[[2010,5,26]],"date-time":"2010-05-26T16:20:03Z","timestamp":1274890803000},"page":"175-184","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["ISP Tool Update: Scalable MPI Verification"],"prefix":"10.1007","author":[{"given":"Anh","family":"Vo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarvani","family":"Vakkalanka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,5,27]]},"reference":[{"key":"12_CR1","unstructured":"http:\/\/www.cs.utah.edu\/formal_verification\/ISP_Tests\/."},{"key":"12_CR2","unstructured":"http:\/\/www.cs.utah.edu\/formal_verification\/ISP-Eclipse\/."},{"key":"12_CR3","unstructured":"http:\/\/www.mpiblast.org\/."},{"key":"12_CR4","unstructured":"http:\/\/www.spec.org\/mpi."},{"key":"12_CR5","unstructured":"A. Geist. Sustained Petascale: The next MPI challenge. Invited Talk at EuroPVM\/MPI 2007."},{"issue":"6","key":"12_CR6","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1016\/0167-8191(96)00024-5","volume":"22","author":"W. Gropp","year":"1996","unstructured":"W. Gropp, E. Lusk, N. Doss, and A. Skjellum. A high-performance, portable implementation of the MPI message passing interface standard. Parallel Computing, 22(6):789\u2013828, Sept. 1996.","journal-title":"Parallel Computing"},{"key":"12_CR7","unstructured":"G. Karypis. METIS and ParMETIS. http:\/\/glaros.dtc.umn.edu\/gkhome\/views\/metis."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"B. Krammer, K. Bidmon, M. S. M\u00fcller, and M. M. Resch. Marmot: An MPI analysis and checking tool. In Parallel Computing 2003, Sept. 2003.","DOI":"10.1016\/S0927-5452(04)80063-7"},{"key":"12_CR9","unstructured":"M. Schulz and B. R. de\u00a0Supinski. P\n                N\n              MPI tools: A whole lot greater than the sum of their parts. In SC, page 30, 2007."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"S. F. Siegel and A. R. Siegel. MADRE: The Memory-Aware Data Redistribution Engine. EuroPVM\/MPI 2008","DOI":"10.1007\/978-3-540-87475-1_31"},{"key":"12_CR11","unstructured":"S. Vakkalanka, G. Gopalakrishnan, and R. M. Kirby. Dynamic verification of MPI programs with reductions in presence of split operations and relaxed orderings, CAV 2008."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"S. Vakkalanka, A. Vo, G. Gopalakrishnan, and R. M. Kirby. Reduced execution semantics of MPI: From theory to practice. In FM, pages 724\u2013740, 2009.","DOI":"10.1007\/978-3-642-05089-3_46"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"A. Vo, S. Vakkalanka, M. DeLisi, G. Gopalakrishnan, R. M. Kirby, and R. Thakur. Formal verification of practical MPI programs. In PPoPP, pages 261\u2013269, 2009.","DOI":"10.1145\/1594835.1504214"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"A. Vo, S. S. Vakkalanka, J. Williams, G. Gopalakrishnan, R. M. Kirby, and R. Thakur. Sound and efficient dynamic verification of MPI programs with probe non-determinism. In EuroPVM\/MPI, pages 271\u2013281, 2009.","DOI":"10.1007\/978-3-642-03770-2_33"}],"container-title":["Tools for High Performance Computing 2009"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11261-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T13:38:03Z","timestamp":1675085883000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-11261-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642112607","9783642112614"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11261-4_12","relation":{},"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"27 May 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}