{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:33:04Z","timestamp":1743129184603,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319099668"},{"type":"electronic","value":"9783319099675"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-09967-5_12","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T15:10:04Z","timestamp":1412089804000},"page":"202-216","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["AntSM: Efficient Debugging for Shared Memory Parallel Programs"],"prefix":"10.1007","author":[{"given":"Jae-Woo","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel P.","family":"Midkiff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"12_CR1","unstructured":"Software errors cost U.S. economy $${\\$}59.5$$ billion annually. NIST News Release 2002\u201310"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Hangal, S., Lam, M.S.: Tracking down software bugs using automatic anomaly detection. In: Proceedings of the 24th International Conference on Software Engineering, pp. 291\u2013301 (2002)","DOI":"10.1145\/581376.581377"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Fei, L., Midkiff, S.P.: Artemis: practical runtime monitoring of applications for execution anomalies. In: PLDI \u201906, pp. 84\u201395, New York, NY, USA (2006)","DOI":"10.1145\/1133255.1133992"},{"key":"12_CR4","unstructured":"Zhou, P., Liu, W., Fei, L., Lu, S., Qin, F., Zhou, Y., Midkiff, S.P., Torrellas, J.: AccMon: automatically detecting memory-related bugs via program counter-based invariants. In: Proceedings of MICRO\u201904 (2004)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Liblit, B., Naik, M., Zheng, A.X., Aiken, A., Jordan, M.I.: Scalable statistical bug isolation. In: PLDI \u201905 (2005)","DOI":"10.1145\/1065010.1065014"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A., Zheng, A.X., Jordan, M.I.: Bug isolation via remote program sampling. In: PLDI \u201903, pp. 141\u2013154 (2003)","DOI":"10.1145\/780822.781148"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Liu, C., Yan, X., Fei, L., Han, J., Midkiff, S.P.: Sober: statistical model-based bug localization. In: ESEC\/FSE-13: 10th European Software Engineering Conference Held Jointly with 13th International Symposium on Foundations of Software Engineering (2005)","DOI":"10.1145\/1081706.1081753"},{"key":"12_CR8","unstructured":"The PARSEC Benchmark Suite. http:\/\/parsec.cs.princeton.edu"},{"key":"12_CR9","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In: International Conference on Software Engineering, ICSE \u201994, pp. 191\u2013200, Los Alamitos, CA, USA (1994)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Ernst, M.D., Czeisler, A., Griswold, W.G., Notkin, D.: Quickly detecting relevant program invariants. In: Proceedings of the 22nd International Conference on Software Engineering, pp. 449\u2013458 (2000)","DOI":"10.1145\/337180.337240"},{"key":"12_CR11","unstructured":"The LLVM Compiler Infrastructure. http:\/\/llvm.org"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-37658-0_15","volume-title":"Languages and Compilers for Parallel Computing","author":"J-W Lee","year":"2013","unstructured":"Lee, J.-W., Bachega, L.R., Midkiff, S.P., Hu, Y.C.: Ant: a debugging framework for MPI parallel programs. In: Kasahara, H., Kimura, K. (eds.) LCPC 2012. LNCS, vol. 7760, pp. 220\u2013233. Springer, Heidelberg (2013)"},{"key":"12_CR13","unstructured":"Totalview user guide. Accessed 28 Sept 2012"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Lumetta, S.S., Culler, D.E.: The mantis parallel debugger. In: SPDT \u201996: Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, pp. 118\u2013126, New York, NY, USA (1996)","DOI":"10.1145\/238020.238056"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Sistare, S., Dorenkamp, E., Nevin, N., Loh, E.: MPI support in the Prism programming environment. In: Supercomputing \u201999, pp. 22 (1999)","DOI":"10.1145\/331532.331554"},{"issue":"3","key":"12_CR16","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1016\/0167-8191(95)00070-4","volume":"22","author":"R Wismuller","year":"1996","unstructured":"Wismuller, R., Oberhubera, M., Krammera, J., Hansenb, O.: Interactive debugging and performance analysis of massively parallel applications. Parallel Comput. 22(3), 415\u2013442 (1996)","journal-title":"Parallel Comput."},{"key":"12_CR17","unstructured":"Stringhini, D., Navaux, P., de Kergommeaux, J.C.: A selection mechanism to group processes in a parallel debugger. In: Proceedings of 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA\u201900), June 2000"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Cheng, D., Hood, R.: A portable debugger for parallel and distributed programs. In: Supercomputing \u201994, pp. 723\u2013732, November 1994","DOI":"10.1145\/602770.602889"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Mirgorodskiy, A.V., Maruyama, N., Miller, B.P.: Problem diagnosis in large-scale computing environments. In: SC \u201906, pp. 88. ACM (2006)","DOI":"10.1109\/SC.2006.50"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Gao, Q., Qin, F., Panda, D.K.: DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements. In: SC \u201907. ACM (2007)","DOI":"10.1145\/1362622.1362643"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Arnold, D.C., Ahn, D.H., de Supinski, B.R., Lee, G.L., Miller, B.P., Schulz, M.: Stack trace analysis for large scale debugging. Parallel and Distributed Processing Symposium, p. 64 (2007)","DOI":"10.1109\/IPDPS.2007.370254"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Lee, G.L., Ahn, D.H., Arnold, D.C., de Supinski, B.R., Legendre, M., Miller, B.P., Schulz, M., Liblit, B.: Lessons learned at 208k: towards debugging millions of cores. In: SC \u201908, pp. 1\u20139, Piscataway, NJ, USA (2008)","DOI":"10.1109\/SC.2008.5218557"},{"key":"12_CR23","volume-title":"Hermes: A Language for Distributed Computing","author":"RE Strom","year":"1991","unstructured":"Strom, R.E., Bacon, D.F., Goldberg, A.P., Lowry, A., Yellin, D.M., Yemini, S.A.: Hermes: A Language for Distributed Computing. Prentice-Hall Inc., Upper Saddle River (1991)"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09967-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T08:26:47Z","timestamp":1674894407000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-09967-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319099668","9783319099675"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09967-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}