{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:30:06Z","timestamp":1725460206368},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341878"},{"type":"electronic","value":"9783642341885"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34188-5_12","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T14:04:33Z","timestamp":1349964273000},"page":"115-129","source":"Crossref","is-referenced-by-count":2,"title":["SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs"],"prefix":"10.1007","author":[{"given":"Qichang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zijiang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"12_CR1","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1145\/381694.378832","volume":"36","author":"M. Arnold","year":"2001","unstructured":"Arnold, M., Ryder, B.G.: A framework for reducing the cost of instrumented code. SIGPLAN Not.\u00a036(5), 168\u2013179 (2001)","journal-title":"SIGPLAN Not."},{"key":"12_CR2","unstructured":"Callanan, S.: Flexible debugging with controllable overhead. Ph.D. Dissertation, Stony Brook University (2009)"},{"key":"12_CR3","volume-title":"33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009)","author":"Q. Chen","year":"2009","unstructured":"Chen, Q., Wang, L., Yang, Z.: HEAT: A Combined Static and Dynamic Approach for Escape Analysis. In: 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009). IEEE Press, Seattle (2009)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-00593-0_30","volume-title":"Fundamental Approaches to Software Engineering","author":"Q. Chen","year":"2009","unstructured":"Chen, Q., Wang, L., Yang, Z., Stoller, S.: HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 425\u2013439. Springer, Heidelberg (2009)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/512529.512560","volume-title":"Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, PLDI 2002","author":"J.-D. Choi","year":"2002","unstructured":"Choi, J.-D., Lee, K., Loginov, A., O\u2019Callahan, R., Sarkar, V., Sridharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, PLDI 2002, pp. 258\u2013269. ACM, New York (2002)"},{"key":"12_CR6","first-page":"220","volume-title":"ICSE 2007: Proceedings of the 29th International Conference on Software Engineering","author":"M.B. Dwyer","year":"2007","unstructured":"Dwyer, M.B., Kinneer, A., Elbaum, S.: Adaptive online program analysis. In: ICSE 2007: Proceedings of the 29th International Conference on Software Engineering, pp. 220\u2013229. IEEE Computer Society, Washington, DC (2007)"},{"key":"12_CR7","unstructured":"Eclipse, \n                    \n                      http:\/\/www.eclipse.org\/"},{"issue":"6","key":"12_CR8","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/1133255.1133992","volume":"41","author":"L. Fei","year":"2006","unstructured":"Fei, L., Midkiff, S.P.: Artemis: practical runtime monitoring of applications for execution anomalies. SIGPLAN Not.\u00a041(6), 84\u201395 (2006)","journal-title":"SIGPLAN Not."},{"issue":"11","key":"12_CR9","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1145\/1037187.1024412","volume":"39","author":"M. Hauswirth","year":"2004","unstructured":"Hauswirth, M., Chilimbi, T.M.: Low-overhead memory leak detection using adaptive statistical profiling. SIGPLAN Not.\u00a039(11), 156\u2013164 (2004)","journal-title":"SIGPLAN Not."},{"key":"12_CR10","unstructured":"Java Grande Forum. Java Grande Multi-threaded Benchmark Suite. version 1.0, \n                    \n                      http:\/\/www.javagrande.org\/"},{"issue":"5","key":"12_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/780822.781148","volume":"38","author":"B. Liblit","year":"2003","unstructured":"Liblit, B., Aiken, A., Zheng, A.X., Jordan, M.I.: Bug isolation via remote program sampling. SIGPLAN Not.\u00a038(5), 141\u2013154 (2003)","journal-title":"SIGPLAN Not."},{"key":"12_CR12","volume-title":"Advanced compiler design and implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced compiler design and implementation. Morgan Kaufmann Publishers Inc., San Francisco (1997)"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/635506.605417","volume":"30","author":"J. Oplinger","year":"2002","unstructured":"Oplinger, J., Lam, M.S.: Enhancing software reliability with speculative threads. SIGARCH Comput. Archit. News\u00a030, 184\u2013196 (2002)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1002\/(SICI)1097-024X(199701)27:1<87::AID-SPE78>3.0.CO;2-P","volume":"27","author":"H. Patil","year":"1997","unstructured":"Patil, H., Fischer, C.: Low-cost, concurrent checking of pointer and array accesses in c programs. Softw. Pract. Exper.\u00a027, 87\u2013110 (1997)","journal-title":"Softw. Pract. Exper."},{"issue":"4","key":"12_CR15","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E.: Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Transactions on Computer Systems"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-642-03770-2_43","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"S. Vakkalanka","year":"2009","unstructured":"Vakkalanka, S., Szubzda, G., Vo, A., Gopalakrishnan, G., Kirby, R.M., Thakur, R.: Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). In: Ropo, M., Westerholm, J., Dongarra, J. (eds.) PVM\/MPI. LNCS, vol.\u00a05759, pp. 329\u2013330. Springer, Heidelberg (2009)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). SIGPLAN Notices, vol.\u00a036(11), pp. 70\u201382. ACM Press (October 2001)","DOI":"10.1145\/504311.504288"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: Proc. ACM SIGPLAN 2006 Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM Press (March 2006)","DOI":"10.1145\/1122971.1122993"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10703-005-3401-0","volume":"27","author":"S.H. Yong","year":"2005","unstructured":"Yong, S.H., Horwitz, S.: Using static analysis to reduce dynamic analysis overhead. Form. Methods Syst. Des.\u00a027, 313\u2013334 (2005)","journal-title":"Form. Methods Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34188-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:47:27Z","timestamp":1620132447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34188-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341878","9783642341885"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34188-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}