{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T09:06:00Z","timestamp":1781341560009,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,8]],"date-time":"2009-06-08T00:00:00Z","timestamp":1244419200000},"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":[[2009,6,8]]},"DOI":"10.1145\/1542275.1542319","type":"proceedings-article","created":{"date-parts":[[2009,6,9]],"date-time":"2009-06-09T12:44:24Z","timestamp":1244551464000},"page":"296-305","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["A graph based approach for MPI deadlock detection"],"prefix":"10.1145","author":[{"given":"Tobias","family":"Hilbrich","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bronis R.","family":"de Supinski","sequence":"additional","affiliation":[{"name":"LLNL, Livermore, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Schulz","sequence":"additional","affiliation":[{"name":"LLNL, Livermore, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"MPI2007 Benchmark Suite for MPI. http:\/\/www.spec.org\/mpi2007\/.","author":"SPEC","unstructured":"SPEC MPI2007 Benchmark Suite for MPI. http:\/\/www.spec.org\/mpi2007\/. SPEC MPI2007 Benchmark Suite for MPI. http:\/\/www.spec.org\/mpi2007\/."},{"key":"e_1_3_2_1_2_1","volume-title":"Nas parallel benchmark results. Technical report","author":"Bailey D. H.","year":"1992","unstructured":"D. H. Bailey , L. Dagum , E. Barszcz , and H. D. Simon . Nas parallel benchmark results. Technical report , IEEE Parallel and Distributed Technology , 1992 . D. H. Bailey, L. Dagum, E. Barszcz, and H. D. Simon. Nas parallel benchmark results. Technical report, IEEE Parallel and Distributed Technology, 1992."},{"key":"e_1_3_2_1_3_1","volume-title":"A graph-theoretic characterization of AND-OR deadlocks","author":"Barbosa V. C.","year":"1998","unstructured":"V. C. Barbosa and M. R. F. Benevides . A graph-theoretic characterization of AND-OR deadlocks . 1998 . V. C. Barbosa and M. R. F. Benevides. A graph-theoretic characterization of AND-OR deadlocks. 1998."},{"key":"e_1_3_2_1_4_1","first-page":"92","article-title":"Tools for Scalable Parallel Program Analysis - Vampir NG and DeWiz. The International Series in Engineering and Computer Science","volume":"777","author":"Brunst H.","year":"2005","unstructured":"H. Brunst , D. Kranzlm\u00fcller , and W. Nagel . Tools for Scalable Parallel Program Analysis - Vampir NG and DeWiz. The International Series in Engineering and Computer Science , Distributed and Parallel Systems , 777 : 92 -- 102 , 2005 . H. Brunst, D. Kranzlm\u00fcller, and W. Nagel. Tools for Scalable Parallel Program Analysis - Vampir NG and DeWiz. The International Series in Engineering and Computer Science, Distributed and Parallel Systems, 777:92--102, 2005.","journal-title":"Distributed and Parallel Systems"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/1206212X.2006.11441784"},{"key":"e_1_3_2_1_6_1","volume-title":"Technische Universit\u00e4t Dresden","author":"Deadlock T. Hilbrich Centralized","year":"2008","unstructured":"T. Hilbrich Centralized Deadlock Detection for MPI Applications : Complexity and Parallelization. Diploma thesis , Technische Universit\u00e4t Dresden , Oct. 2008 . T. Hilbrich Centralized Deadlock Detection for MPI Applications: Complexity and Parallelization. Diploma thesis, Technische Universit\u00e4t Dresden, Oct. 2008."},{"key":"e_1_3_2_1_7_1","unstructured":"Intel Corporation. Intel R Trace Collector 7.1 User's Guide.  Intel Corporation. Intel R Trace Collector 7.1 User's Guide."},{"key":"e_1_3_2_1_8_1","unstructured":"B.\n      Krammer\n     and \n      M.\n     S.\n  M\u00a8 uller. MPI Application Development with MARMOT\n  . In G. R. Joubert W. E. Nagel F. J. Peters O. G. Plata P. Tirado and E. L. Zapata editors PARCO volume \n  33\n   of \n  John von Neumann Institute for Computing Series pages \n  893\n  --\n  900\n  . \n  Central Institute for Applied Mathematics J\u00fclich Germany 2005\n  .  B. Krammer and M. S. M\u00a8 uller. MPI Application Development with MARMOT. In G. R. Joubert W. E. Nagel F. J. Peters O. G. Plata P. Tirado and E. L. Zapata editors PARCO volume 33 of John von Neumann Institute for Computing Series pages 893--900. Central Institute for Applied Mathematics J\u00fclich Germany 2005."},{"key":"e_1_3_2_1_9_1","unstructured":"Lawrence Livermore National Laboratory. The ASCI purple benchmark codes. http:\/\/www.llnl.gov\/asci\/purple\/benchmarks\/limited\/code list.html Oct. 2002.  Lawrence Livermore National Laboratory. The ASCI purple benchmark codes. http:\/\/www.llnl.gov\/asci\/purple\/benchmarks\/limited\/code list.html Oct. 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.51"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.701"},{"key":"e_1_3_2_1_12_1","unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface Standard Version 2.1. http:\/\/www.mpi-forum.org\/docs\/mpi21-report.pdf September 2008. and K. Solchenbach. VAMPIR: Visualization and analysis of MPI resources. Supercomputer 12(1):69--80 1996.  Message Passing Interface Forum. MPI: A Message-Passing Interface Standard Version 2.1. http:\/\/www.mpi-forum.org\/docs\/mpi21-report.pdf September 2008. and K. Solchenbach. VAMPIR: Visualization and analysis of MPI resources. Supercomputer 12(1):69--80 1996."},{"issue":"1","key":"e_1_3_2_1_13_1","first-page":"69","article-title":"Visualization and analysis of MPI resources","volume":"12","author":"Nagel W. E.","year":"1996","unstructured":"W. E. Nagel , A. Arnold , M. Weber , H. C. Hoppe , and Scalable Parallel Program Analysis K. Solchenbach . VAMPIR : Visualization and analysis of MPI resources . Supercomputer , 12 ( 1 ): 69 -- 80 , 1996 . W. E. Nagel, A. Arnold, M. Weber, H. C. Hoppe, and Scalable Parallel Program Analysis K. Solchenbach. VAMPIR: Visualization and analysis of MPI resources. Supercomputer, 12(1):69--80, 1996.","journal-title":"Supercomputer"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362663"},{"key":"e_1_3_2_1_15_1","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM\/MPI)","author":"Siegel S.","year":"2006","unstructured":"S. Siegel . Using MPI-Spin to Model Check MPI Programs with Nonblocking Communication . In Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM\/MPI) , September 2006 . S. Siegel. Using MPI-Spin to Model Check MPI Programs with Nonblocking Communication. In Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM\/MPI), September 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.43525"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87475-1_34"},{"key":"e_1_3_2_1_18_1","unstructured":"J. Vetter and C. Chambreau. mpiP: Lightweight Scalable MPI Profiling. http:\/\/www.llnl.gov\/CASC\/mpip\/ Apr. 2005.  J. Vetter and C. Chambreau. mpiP: Lightweight Scalable MPI Profiling. http:\/\/www.llnl.gov\/CASC\/mpip\/ Apr. 2005."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/370049.370462"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1177\/109434209901300310"}],"event":{"name":"ICS '09: International Conference on Supercomputing","location":"Yorktown Heights NY USA","acronym":"ICS '09","sponsor":["ACM Association for Computing Machinery","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 23rd international conference on Supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542275.1542319","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542275.1542319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:08Z","timestamp":1750253408000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542275.1542319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,8]]},"references-count":20,"alternative-id":["10.1145\/1542275.1542319","10.1145\/1542275"],"URL":"https:\/\/doi.org\/10.1145\/1542275.1542319","relation":{},"subject":[],"published":{"date-parts":[[2009,6,8]]},"assertion":[{"value":"2009-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}