{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:04:35Z","timestamp":1784232275676,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,17]],"date-time":"2013-11-17T00:00:00Z","timestamp":1384646400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["287703"],"award-info":[{"award-number":["287703"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,11,17]]},"DOI":"10.1145\/2503210.2503237","type":"proceedings-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T12:55:22Z","timestamp":1383137722000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Distributed wait state tracking for runtime MPI deadlock detection"],"prefix":"10.1145","author":[{"given":"Tobias","family":"Hilbrich","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t, Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bronis R.","family":"de Supinski","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wolfgang E.","family":"Nagel","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t, Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joachim","family":"Protze","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christel","family":"Baier","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t, Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,11,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2008.63"},{"key":"e_1_3_2_1_2_1","volume-title":"Stack Trace Analysis for Large Scale Debugging. In International Parallel and Distributed Processing Symposium, 2007","author":"Arnold D. C.","year":"2007","unstructured":"D. C. Arnold , D. H. Ahn , B. R. de Supinski , G. L. Lee , B. P. Miller , and M. Schulz . Stack Trace Analysis for Large Scale Debugging. In International Parallel and Distributed Processing Symposium, 2007 . IEEE Computer Society , 2007 . D. C. Arnold, D. H. Ahn, B. R. de Supinski, G. L. Lee, B. P. Miller, and M. Schulz. Stack Trace Analysis for Large Scale Debugging. In International Parallel and Distributed Processing Symposium, 2007. IEEE Computer Society, 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCS.2008.24"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"e_1_3_2_1_5_1","volume-title":"Timestamps in Message-Passing Systems That Preserve the Partial Ordering. Proceedings of the 11th Australian Computer Science Conference, 10(1):56--66","author":"Fidge C. J.","year":"1988","unstructured":"C. J. Fidge . Timestamps in Message-Passing Systems That Preserve the Partial Ordering. Proceedings of the 11th Australian Computer Science Conference, 10(1):56--66 , 1988 . C. J. Fidge. Timestamps in Message-Passing Systems That Preserve the Partial Ordering. Proceedings of the 11th Australian Computer Science Conference, 10(1):56--66, 1988."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the International Conference ParCo 2005","volume":"33","author":"Gerndt M.","year":"2005","unstructured":"M. Gerndt , K. F\u00fcrlinger , and E. Kereku . Periscope: Advanced Techniques for Performance Analysis. In Parallel Computing: Current & Future Issues of High-End Computing , Proceedings of the International Conference ParCo 2005 , volume 33 of John von Neumann Institute for Computing Series. Central Institute for Applied Mathematics, J\u00fclich, Germany , 2005 . M. Gerndt, K. F\u00fcrlinger, and E. Kereku. Periscope: Advanced Techniques for Performance Analysis. In Parallel Computing: Current & Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005, volume 33 of John von Neumann Institute for Computing Series. Central Institute for Applied Mathematics, J\u00fclich, Germany, 2005."},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"Godefroid P.","year":"1996","unstructured":"P. Godefroid . Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem , volume 1032 of Lecture Notes in Computer Science . Springer Berlin Heidelberg , 1996 . P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, volume 1032 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1996."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1080\/1206212X.2006.11441784"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542275.1542319"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Advances in the Message Passing Interface","author":"Hilbrich T.","year":"2013","unstructured":"T. Hilbrich , F. H\u00e4nsel , M. Schulz , B. R. de Supinski , M. S. M\u00fcller , W. E. Nagel , and J. Protze . Runtime MPI Collective Checking with Tree-Based Overlay Networks . In Recent Advances in the Message Passing Interface , Lecture Notes in Computer Science . Springer Berlin Heidelberg , 2013 . T. Hilbrich, F. H\u00e4nsel, M. Schulz, B. R. de Supinski, M. S. M\u00fcller, W. E. Nagel, and J. Protze. Runtime MPI Collective Checking with Tree-Based Overlay Networks. In Recent Advances in the Message Passing Interface, Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2012.123"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-642-24449-0_5","volume-title":"Recent Advances in the Message Passing Interface","author":"Hilbrich T.","year":"2011","unstructured":"T. Hilbrich , M. S. M\u00fcller , M. Schulz , and B. R. de Supinski . Order Preserving Event Aggregation in TBONs . In Y. Cotronis, A. Danalis, D. Nikolopoulos, and J. Dongarra, editors, Recent Advances in the Message Passing Interface , volume 6960 of Lecture Notes in Computer Science , pages 19 -- 28 . Springer Berlin Heidelberg , 2011 . T. Hilbrich, M. S. M\u00fcller, M. Schulz, and B. R. de Supinski. Order Preserving Event Aggregation in TBONs. In Y. Cotronis, A. Danalis, D. Nikolopoulos, and J. Dongarra, editors, Recent Advances in the Message Passing Interface, volume 6960 of Lecture Notes in Computer Science, pages 19--28. Springer Berlin Heidelberg, 2011."},{"key":"e_1_3_2_1_13_1","volume-title":"Intralayer Communication for Tree-Based Overlay Networks. In ICPP Workshops, Fourth International Workshop on Parallel Software Tools and Tool Infrastructures","author":"Hilbrich T.","year":"2013","unstructured":"T. Hilbrich , J. Protze , B. R. de Supinski , M. Schulz , M. S. M\u00fcller , and W. E. Nagel . Intralayer Communication for Tree-Based Overlay Networks. In ICPP Workshops, Fourth International Workshop on Parallel Software Tools and Tool Infrastructures , Los Alamitos, CA, USA , 2013 . IEEE Computer Society Press. T. Hilbrich, J. Protze, B. R. de Supinski, M. Schulz, M. S. M\u00fcller, and W. E. Nagel. Intralayer Communication for Tree-Based Overlay Networks. In ICPP Workshops, Fourth International Workshop on Parallel Software Tools and Tool Infrastructures, Los Alamitos, CA, USA, 2013. IEEE Computer Society Press."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2388996.2389037"},{"key":"e_1_3_2_1_15_1","unstructured":"T. H. Jun and G. R. Watson. Scalable Communication Infrastructure. http:\/\/wiki.eclipse.org\/PTP\/designs\/SCI.  T. H. Jun and G. R. Watson. Scalable Communication Infrastructure. http:\/\/wiki.eclipse.org\/PTP\/designs\/SCI."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the International Conference ParCo 2005","volume":"33","author":"Krammer B.","year":"2005","unstructured":"B. Krammer and M. S. M\u00fcller . MPI Application Development with MARMOT. In Parallel Computing: Current & Future Issues of High-End Computing , Proceedings of the International Conference ParCo 2005 , volume 33 of John von Neumann Institute for Computing Series, pages 893--900. Central Institute for Applied Mathematics, J\u00fclich, Germany , 2005 . B. Krammer and M. S. M\u00fcller. MPI Application Development with MARMOT. In Parallel Computing: Current & Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005, 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_17_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.705"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.701"},{"key":"e_1_3_2_1_19_1","first-page":"215","volume-title":"Parallel and Distributed Algorithms Conference","author":"Mattern F.","year":"1989","unstructured":"F. Mattern . Virtual Time and Global States of Distributed Systems. In M. Cosnard, P. Quinton, M. Raynal, and Y. Robert, editors , Parallel and Distributed Algorithms Conference , pages 215 -- 226 . North-Holland , 1989 . F. Mattern. Virtual Time and Global States of Distributed Systems. In M. Cosnard, P. Quinton, M. Raynal, and Y. Robert, editors, Parallel and Distributed Algorithms Conference, pages 215--226. North-Holland, 1989."},{"key":"e_1_3_2_1_20_1","unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface Standard Version 2.2. http:\/\/www.mpi-forum.org\/docs\/mpi-2.2\/mpi22-report.pdf 2009.  Message Passing Interface Forum. MPI: A Message-Passing Interface Standard Version 2.2. http:\/\/www.mpi-forum.org\/docs\/mpi-2.2\/mpi22-report.pdf 2009."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v22:2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v22:6"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing","author":"Ohly P.","year":"2007","unstructured":"P. Ohly and W. Krotz-Vogel . Automated MPI Correctness Checking: What if there was a magic option ? In Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing , 2007 . P. Ohly and W. Krotz-Vogel. Automated MPI Correctness Checking: What if there was a magic option? In Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing, 2007."},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/3-540-58179-0_69","volume-title":"Computer Aided Verification","author":"Peled D.","year":"1994","unstructured":"D. Peled . Combining Partial Order Reductions with On-the-fly Model-Checking . In D. Dill, editor, Computer Aided Verification , volume 818 of Lecture Notes in Computer Science , pages 377 -- 390 . Springer Berlin Heidelberg , 1994 . D. Peled. Combining Partial Order Reductions with On-the-fly Model-Checking. In D. Dill, editor, Computer Aided Verification, volume 818 of Lecture Notes in Computer Science, pages 377--390. Springer Berlin Heidelberg, 1994."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1048935.1050172"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065957"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_9"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345258"},{"key":"e_1_3_2_1_29_1","volume-title":"Supinski. Dynamic Software Testing of MPI Applications with Umpire. In Proceedings of the 2000 ACM\/IEEE conference on Supercomputing, Supercomputing '00","author":"Vetter J. S.","year":"2000","unstructured":"J. S. Vetter and B. R. de Supinski. Dynamic Software Testing of MPI Applications with Umpire. In Proceedings of the 2000 ACM\/IEEE conference on Supercomputing, Supercomputing '00 , Washington, DC, USA , 2000 . IEEE Computer Society. J. S. Vetter and B. R. de Supinski. Dynamic Software Testing of MPI Applications with Umpire. In Proceedings of the 2000 ACM\/IEEE conference on Supercomputing, Supercomputing '00, Washington, DC, USA, 2000. IEEE Computer Society."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.64"}],"event":{"name":"SC13: International Conference for High Performance Computing, Networking, Storage and Analysis","location":"Denver Colorado","acronym":"SC13","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","SIGARCH ACM Special Interest Group on Computer Architecture","IEEE-CS Computer Society"]},"container-title":["Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2503210.2503237","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2503210.2503237","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:55Z","timestamp":1750234735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2503210.2503237"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,17]]},"references-count":30,"alternative-id":["10.1145\/2503210.2503237","10.1145\/2503210"],"URL":"https:\/\/doi.org\/10.1145\/2503210.2503237","relation":{},"subject":[],"published":{"date-parts":[[2013,11,17]]},"assertion":[{"value":"2013-11-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}