{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:07:38Z","timestamp":1759032458576},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s11390-020-9701-4","type":"journal-article","created":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T13:02:47Z","timestamp":1590066167000},"page":"395-411","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection"],"prefix":"10.1007","volume":"35","author":[{"given":"Hong-Mei","family":"Wei","sequence":"first","affiliation":[]},{"given":"Jian","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Peng","family":"Qing","sequence":"additional","affiliation":[]},{"given":"Kang","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Yan-Fei","family":"Fang","sequence":"additional","affiliation":[]},{"given":"Ming-Lu","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,27]]},"reference":[{"key":"9701_CR1","unstructured":"Vakkalanka S. Efficient dynamic verification algorithms for MPI applications [Ph.D. Thesis]. School of Computing, The University of Utah, 2010."},{"issue":"11","key":"9701_CR2","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1002\/cpe.701","volume":"14","author":"GR Luecke","year":"2002","unstructured":"Luecke G R, Zou Y, Coyle J et al. Deadlock detection in MPI programs. Concurrency and Computation: Practice and Experience, 2002, 14(11): 911-932.","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"9701_CR3","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/S0927-5452(04)80063-7","volume":"13","author":"B Krammer","year":"2004","unstructured":"Krammer B, Bidmon K, M\u00fcller M S et al. MARMOT: An MPI analysis and checking tool. Advances in Parallel Computing, 2004, 13: 493-500.","journal-title":"Advances in Parallel Computing"},{"key":"9701_CR4","doi-asserted-by":"crossref","unstructured":"Vetter J S, de Supinski B R. Dynamic software testing of MPI applications with Umpire. In Proc. the 2000 ACM\/IEEE Conference on Supercomputing, November 2000, Article No. 51.","DOI":"10.1109\/SC.2000.10055"},{"key":"9701_CR5","doi-asserted-by":"crossref","unstructured":"Hilbrich T, Schulz M, de Supinski B R et al. MUST: A scalable approach to runtime error detection in MPI programs. In Proc. the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2000, pp.53-66.","DOI":"10.1007\/978-3-642-11261-4_5"},{"issue":"3\/4","key":"9701_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1155\/2013\/314971","volume":"21","author":"T Hilbrich","year":"2013","unstructured":"Hilbrich T, Protze J, Schulz M et al. MPI runtime error detection with MUST: Advances in deadlock detection. Scientific Programming, 2013, 21(3\/4): 109-121.","journal-title":"Scientific Programming"},{"key":"9701_CR7","doi-asserted-by":"crossref","unstructured":"Do-Mai A T, Diep T D, Thoai N. Race condition and deadlock detection for large-scale applications. In Proc. the 15th International Symposium on Parallel and Distributed Computing, July 2016, pp.319-326.","DOI":"10.1109\/ISPDC.2016.53"},{"key":"9701_CR8","doi-asserted-by":"crossref","unstructured":"Forejt V, Joshi S, Kroening D et al. Precise predictive analysis for discovering communication deadlocks in MPI programs. ACM Transactions on Programming Languages and Systems, 2017, 39(4): Article No. 15.","DOI":"10.1145\/3095075"},{"issue":"4","key":"9701_CR9","first-page":"141","volume":"7","author":"RA Alnemari","year":"2018","unstructured":"Alnemari R A, Fadel M A, Eassa F. Integrating static and dynamic analysis techniques for detecting dynamic errors in MPI programs. International Journal of Computer Science and Mobile Computing, 2018, 7(4): 141-147.","journal-title":"International Journal of Computer Science and Mobile Computing"},{"issue":"4","key":"9701_CR10","first-page":"176","volume":"19","author":"AM Alghamdi","year":"2019","unstructured":"Alghamdi A M, Eassa F E. Software testing techniques for parallel systems: A survey. International Journal of Computer Science and Network Security, 2019, 19(4): 176-186.","journal-title":"International Journal of Computer Science and Network Security"},{"key":"9701_CR11","doi-asserted-by":"crossref","unstructured":"Hilbrich T, de Supinski B R, Schulz M et al. A graph based approach for MPI deadlock detection. In Proc. the 23rd International Conference on Supercomputing, June 2009, pp.296-305.","DOI":"10.1145\/1542275.1542319"},{"issue":"4","key":"9701_CR12","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s11786-011-0101-6","volume":"5","author":"SF Siegel","year":"2011","unstructured":"Siegel S F, Zirkel T K. FEVS: A functional equivalence verification suite for high-performance scientific computing. Mathematics in Computer Science, 2011, 5(4): 427-435.","journal-title":"Mathematics in Computer Science"},{"key":"9701_CR13","unstructured":"M\u00fcller M, de Supinski B, Gopalakrishnan G et al. Dealing with MPI bugs at scale: Best practices, automatic detection, debugging, and formal verification. http:\/\/www.cs.utah.edu\/fv\/publications\/sc11_with_handson.pptx, October 2019."},{"issue":"3","key":"9701_CR14","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1177\/109434209100500306","volume":"5","author":"DH Bailey","year":"1991","unstructured":"Bailey D H, Barszcz E, Barton J T et al. The NAS parallel benchmarks. The International Journal of Supercomputing Applications, 1991, 5(3): 63-73.","journal-title":"The International Journal of Supercomputing Applications"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-020-9701-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-020-9701-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-020-9701-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,27]],"date-time":"2021-03-27T00:44:25Z","timestamp":1616805865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-020-9701-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["9701"],"URL":"https:\/\/doi.org\/10.1007\/s11390-020-9701-4","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3]]},"assertion":[{"value":"10 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 January 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}