{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:06:07Z","timestamp":1743091567405,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642373480"},{"type":"electronic","value":"9783642373497"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37349-7_3","type":"book-chapter","created":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T13:18:09Z","timestamp":1370956689000},"page":"25-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["MPI Runtime Error Detection with MUST: Advanced Error Reports"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Protze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Hilbrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bronis R.","family":"de Supinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Schulz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang E.","family":"Nagel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,5,13]]},"reference":[{"key":"3_CR1","unstructured":"Message Passing Interface Forum: MPI: A Message-Passing Interface Standard, Version 2.2. http:\/\/www.mpi-forum.org\/docs\/mpi22-report.pdf (April 2009)"},{"key":"3_CR2","unstructured":"Krammer, B., M\u00fcller, M.S.: MPI Application Development with MARMOT. In: PARCO. Volume\u00a033., Central Institute for Applied Mathematics, J\u00fclich, Germany (2005) 893\u2013900"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Vetter, J.S., de\u00a0Supinski, B.R.: Dynamic Software Testing of MPI Applications with Umpire. Supercomputing, ACM\/IEEE 2000 Conference (04\u201310 Nov. 2000) 51\u201351","DOI":"10.1109\/SC.2000.10055"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Hilbrich, T., Protze, J., Schulz, M., de\u00a0Supinski, B.R., M\u00fcller, M.S.: Mpi runtime error detection with must: Advances in deadlock detection. In: Proceedings of 2012 International Conference for High Performance Computing, Networking, Storage and Analysis. SC \u201912, New York, NY, USA, ACM (2012)","DOI":"10.1109\/SC.2012.79"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Protze, J., Hilbrich, T., Kn\u00fcpfer, A., de\u00a0Supinski, B.R., M\u00fcller, M.S.: Holistic Debugging of MPI Derived Datatypes. In: IPDPS 2012: Proceedings of the 26th IEEE International Parallel & Distributed Processing Symposium. (2012)","DOI":"10.1109\/IPDPS.2012.41"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Hilbrich, T., M\u00fcller, M.S., de\u00a0Supinski, B.R., Schulz, M., Nagel, W.E.: GTI: A Generic Tools Infrastructure for Event Based Tools in Parallel Systems. In: IPDPS 2012: Proceedings of the 26th IEEE International Parallel & Distributed Processing Symposium. (2012)","DOI":"10.1109\/IPDPS.2012.123"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Krammer, B., Hilbrich, T., Himmler, V., Czink, B., Dichev, K., M\u00fcller, M.S.: MPI Correctness Checking with Marmot. In: Parallel Tools Workshop\u201908. (2008) 61\u201378","DOI":"10.1007\/978-3-540-68564-7_5"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Hilbrich, T., de\u00a0Supinski, B.R., Schulz, M., M\u00fcller, M.S.: A Graph Based Approach for MPI Deadlock Detection. In: ICS \u201909: Proceedings of the 23rd International Conference on Supercomputing, New York, NY, USA, ACM (2009) 296\u2013305","DOI":"10.1145\/1542275.1542319"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Ahn, D.H., de\u00a0Supinski, B.R., Laguna, I., Lee, G.L., Liblit, B., Miller, B.P., Schulz, M.: Scalable temporal order analysis for large scale debugging. In: Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis. SC \u201909, New York, NY, USA, ACM (2009) 44:1\u201344:11","DOI":"10.1145\/1654059.1654104"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Arnold, D., Ahn, D., de\u00a0Supinski, B., Lee, G., Miller, B., Schulz, M.: Stack Trace Analysis for Large Scale Debugging. In: Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International. (march 2007) 1\u201310","DOI":"10.1109\/IPDPS.2007.370254"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Vakkalanka, S.S., Sharma, S., Gopalakrishnan, G., Kirby, R.M.: ISP: A Tool for Model Checking MPI Programs. In: 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. (2008) 285\u2013286","DOI":"10.1145\/1345206.1345258"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1002\/cpe.705","volume":"15","author":"GR Luecke","year":"2003","unstructured":"Luecke, G.R., Chen, H., Coyle, J., Hoekstra, J., Kraeva, M., Zou, Y.: MPI-CHECK: A Tool for Checking Fortran 90 MPI Programs. Concurrency and Computation: Practice and Experience 15(2) (2003) 93\u2013100","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Desouza, J., Kuhn, B., Supinski, B.R.D.: Automated, Scalable Debugging of MPI Programs with Intel Message Checker. In: In Workshop on Software Engineering for High Performance Computing System Applications (SE-HPCS). (2005)","DOI":"10.1145\/1145319.1145342"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Cownie, J.: A standard interface for debugger access to message queue information in MPI. In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, volume 1697 of Lecture Notes in Computer Science, Springer Verlag (1999) 51\u201358","DOI":"10.1007\/3-540-48158-3_7"},{"key":"3_CR15","unstructured":"Krammer, B., Himmler, V., Lecomber, D.: Coupling DDT and Marmot for debugging of MPI applications. In: PARCO\u201907. (2007) 653\u2013660"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Tr\u00e4ff, J.L., Hempel, R., Ritzdorf, H., Zimmermann, F.: Flattening on the Fly: Efficient Handling of MPI Derived Datatypes. In: Proceedings of the 6th European PVM\/MPI Users\u2019 Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, London, UK, Springer-Verlag (1999) 109\u2013116","DOI":"10.1007\/3-540-48158-3_14"}],"container-title":["Tools for High Performance Computing 2012"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37349-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:34:58Z","timestamp":1725626098000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37349-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642373480","9783642373497"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37349-7_3","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"13 May 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}