{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:59:09Z","timestamp":1725742749353},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/ipdpsw.2010.5470683","type":"proceedings-article","created":{"date-parts":[[2010,5,28]],"date-time":"2010-05-28T18:25:42Z","timestamp":1275071142000},"page":"1-4","source":"Crossref","is-referenced-by-count":3,"title":["Scalable verification of MPI programs"],"prefix":"10.1109","author":[{"given":"Anh","family":"Vo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Marmot: An MPI analysis and checking tool","author":"krammer","year":"2003","journal-title":"Parallel Computing 2003"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.705"},{"key":"ref13","first-page":"215","article-title":"Virtual time and global states of distributed systems","author":"mattern","year":"1989","journal-title":"Parallel and Distributed Algorithms"},{"key":"ref14","first-page":"30","author":"schulz","year":"2007","journal-title":"pnMPI tools a whole lot greater than the sum of their parts In SC"},{"key":"ref15","article-title":"Verification of MPI-based software for scientific computation","author":"siegel","year":"2004","journal-title":"SPIN"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87475-1_37"},{"key":"ref17","article-title":"Dynamic verification of MPI programs with reductions in presence of split operations and relaxed orderings","author":"vakkalanka","year":"2009","journal-title":"CAV"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_46"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2000.10055"},{"year":"0","key":"ref4"},{"year":"0","key":"ref3"},{"journal-title":"Sustained Petascale The next MPI challenge","year":"2007","author":"geist","key":"ref6"},{"key":"ref5","first-page":"56","article-title":"Timestamps in message-passing systems that preserve the partial ordering","author":"fidge","year":"1988","journal-title":"ACSC"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1542275.1542319"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8191(96)00024-5"},{"year":"0","key":"ref2"},{"year":"0","key":"ref1"},{"journal-title":"METIS and ParMETIS","year":"0","author":"karypis","key":"ref9"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/1504176.1504214","article-title":"Formal verification of practical mpi programs","author":"vo","year":"2009","journal-title":"PPoPP"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03770-2_33"}],"event":{"name":"Distributed Processing, Workshops and Phd Forum (IPDPSW)","start":{"date-parts":[[2010,4,19]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,4,23]]}},"container-title":["2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5465895\/5470678\/05470683.pdf?arnumber=5470683","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T04:10:39Z","timestamp":1711512639000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5470683\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ipdpsw.2010.5470683","relation":{},"subject":[],"published":{"date-parts":[[2010,4]]}}}