{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:35:33Z","timestamp":1725539733985},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332951"},{"type":"electronic","value":"9783642332968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33296-8_15","type":"book-chapter","created":{"date-parts":[[2012,9,16]],"date-time":"2012-09-16T22:24:55Z","timestamp":1347834295000},"page":"194-209","source":"Crossref","is-referenced-by-count":6,"title":["A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications"],"prefix":"10.1007","author":[{"given":"Subodh","family":"Sharma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Bronevetsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Bronevetsky, G.: Communication-Sensitive Static Dataflow for Parallel Message Passing Applications. In: CGO: Proceedings of the 7th annual IEEE\/ACM International Symposium on Code Generation and Optimization (2009) ISBN: 978-0-7695-3576-0","key":"15_CR1"},{"unstructured":"FEVS Benchmark, \n                  \n                    http:\/\/vsl.cis.udel.edu\/fevs\/index.html","key":"15_CR2"},{"doi-asserted-by":"crossref","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Palsberg, J., Abadi, M. (eds.) POPL, pp. 110\u2013121. ACM (2005)","key":"15_CR3","DOI":"10.1145\/1047659.1040315"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems","author":"P. Godefroid","year":"1996","unstructured":"Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. LNCS, vol.\u00a01032. Springer, Heidelberg (1996)"},{"doi-asserted-by":"crossref","unstructured":"Godefroid, P., Levin, M., Molnar, D.: Whitebox fuzzing for security testing. Communications of the ACM (March 2012)","key":"15_CR5","DOI":"10.1145\/2090147.2094081"},{"doi-asserted-by":"crossref","unstructured":"Gopalakrishnan, G., Kirby, R.M., Siegel, S., Thakur, R., Gropp, W., Lusk, E., de Supinski, B.R., Schulz, M., Bronevetsky, G.: Formal analysis of mpi-based parallel programs: Present and future. Communications of the ACM (December 2011)","key":"15_CR6","DOI":"10.1145\/2043174.2043194"},{"doi-asserted-by":"crossref","unstructured":"Karypis, G., Kumar, V.: Parallel multilevel k-way partitioning scheme for irregular graphs. In: SuperComputing, SC (1996)","key":"15_CR7","DOI":"10.1145\/369028.369103"},{"unstructured":"http:\/\/www.multicore-association.org","key":"15_CR8"},{"unstructured":"Message Passing Interface, \n                  \n                    http:\/\/www.mpi-forum.org\/docs\/mpi-2.2","key":"15_CR9"},{"unstructured":"Sarkar, V., Harrod, W., Snavely, A.: Software challenges in extreme scale systems. SciDAC Review Special Issue on Advanced Computing: The Roadmap to Exascale, 60\u201365 (January 2010)","key":"15_CR10"},{"unstructured":"Siegel, S.F.: The MADRE web page (2008), \n                  \n                    http:\/\/vsl.cis.udel.edu\/madre","key":"15_CR11"},{"unstructured":"Siegel, S.F.: MPI-Spin web page (2008), \n                  \n                    http:\/\/vsl.cis.udel.edu\/mpi-spin","key":"15_CR12"},{"unstructured":"Vakkalanka, S.: Efficient dynamic verification algorithms for MPI applications. PhD thesis, University of Utah, Salt Lake City, Ut, USA (2010)","key":"15_CR13"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-70545-1_9","volume-title":"Computer Aided Verification","author":"S. Vakkalanka","year":"2008","unstructured":"Vakkalanka, S., Gopalakrishnan, G.C., Kirby, R.M.: Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 66\u201379. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Vo, A., Aananthakrishnan, S., Gopalakrishnan, G., de Supinski, B.R., Schulz, M., Bronevetsky, G.: A scalable and distributed dynamic formal verifier for MPI programs. In: Proceedings of the ACM\/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2010, pp. 1\u201310. IEEE Computer Society, Washington, DC (2010)","key":"15_CR15","DOI":"10.1109\/SC.2010.7"},{"unstructured":"Vo, A., Gopalakrishnan, G., Kirby, R.M., de Supinski, B.R., Schulz, M., Bronevetsky, G.: Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. In: PACT, pp. 330\u2013339 (2011), \n                  \n                    http:\/\/doi.ieeecomputersociety.org\/10.1109\/PACT.2011.64","key":"15_CR16"},{"key":"15_CR17","first-page":"261","volume-title":"Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2009","author":"A. Vo","year":"2009","unstructured":"Vo, A., Vakkalanka, S., DeLisi, M., Gopalakrishnan, G., Kirby, R.M., Thakur, R.: Formal verification of practical MPI programs. In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2009, pp. 261\u2013270. ACM, New York (2009)"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1147403.1147409","volume-title":"Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD 2006","author":"R. Vuduc","year":"2006","unstructured":"Vuduc, R., Schulz, M., Quinlan, D., de Supinski, B., Sornsen, A.: Improving distributed memory applications testing by message perturbation. In: Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD 2006, pp. 27\u201336. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33296-8_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:03:35Z","timestamp":1620115415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33296-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332951","9783642332968"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33296-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}