{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T10:51:07Z","timestamp":1725187867586},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/pact.2011.64","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T19:28:47Z","timestamp":1325878127000},"source":"Crossref","is-referenced-by-count":12,"title":["Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update"],"prefix":"10.1109","author":[{"given":"Anh","family":"Vo","sequence":"first","affiliation":[]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[]},{"given":"Robert M.","family":"Kirby","sequence":"additional","affiliation":[]},{"given":"Bronis R.","family":"de Supinski","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Schulz","sequence":"additional","affiliation":[]},{"given":"Greg","family":"Bronevetsky","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_2"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362663"},{"key":"18","author":"siegel","year":"2008"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72360-8_28"},{"key":"16","first-page":"194","article-title":"On the performance of transparent MPI piggyback messages","author":"schulz","year":"2008","journal-title":"EuroPVM\/ MPI"},{"key":"13","article-title":"A randomized scheduler with probabilistic guarantees of finding bugs","author":"musuvathi","year":"2010","journal-title":"ASPLOS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"12","first-page":"215","article-title":"Virtual time and global states of distributed systems","author":"mattern","year":"1989","journal-title":"Parallel and Distributed Algorithms"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_9"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(92)90028-T"},{"key":"22","author":"vo","year":"2011","journal-title":"Scalable Formal Dynamic Verification of MPI Programs Through Distributed Causality Tracking"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.7"},{"key":"24","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":"25","first-page":"279","article-title":"Automatic detection of transition symmetry in multithreaded programs using dynamic analysis","author":"yang","year":"2009","journal-title":"SPIN"},{"key":"3","year":"0","journal-title":"The ASCI Purple Benchmarks"},{"key":"2","year":"0","journal-title":"ASC Sequoia Benchmarks"},{"key":"10","first-page":"538","article-title":"Automatic testing of nondeterministic parallel programs","author":"kranzlmu?ller","year":"2002","journal-title":"PDPTA '02"},{"key":"1","year":"0"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8191(96)00024-5"},{"key":"6","first-page":"110","article-title":"Dynamic partial-order reduction for model checking software","author":"flanagan","year":"2005","journal-title":"POPL"},{"key":"5","first-page":"56","article-title":"Timestamps in message-passing systems that preserve the partial ordering","author":"fidge","year":"1988","journal-title":"ACSC"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926432"},{"key":"9","author":"karypis","year":"0","journal-title":"METIS and ParMETIS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1232275"}],"event":{"name":"2011 International Conference on Parallel Architectures and Compilation Techniques (PACT)","location":"Galveston, TX, USA","start":{"date-parts":[[2011,10,10]]},"end":{"date-parts":[[2011,10,14]]}},"container-title":["2011 International Conference on Parallel Architectures and Compilation Techniques"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6112806\/6113772\/06113841.pdf?arnumber=6113841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,13]],"date-time":"2023-06-13T08:57:37Z","timestamp":1686646657000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6113841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/pact.2011.64","relation":{},"subject":[],"published":{"date-parts":[[2011,10]]}}}