{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T18:16:14Z","timestamp":1763057774791},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642400469"},{"type":"electronic","value":"9783642400476"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40047-6_3","type":"book-chapter","created":{"date-parts":[[2013,7,20]],"date-time":"2013-07-20T08:18:02Z","timestamp":1374308282000},"page":"4-15","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Synchronization Identification through On-the-Fly Test"],"prefix":"10.1007","author":[{"given":"Xiang","family":"Yuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenjiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenggang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenwen","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianjun","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Di","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"3_CR1","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.: Eraser: a dynamic data race detector for multithreaded programs. J. ACM TOCS\u00a015(4), 391\u2013411 (1997)","journal-title":"J. ACM TOCS"},{"key":"3_CR2","first-page":"179","volume-title":"Proc. of 15th ASPLOS","author":"W. Zhang","year":"2010","unstructured":"Zhang, W., Sun, C., Lu, S.: ConMem: detecting severe concurrency bugs through an effect-oriented approach. In: Proc. of 15th ASPLOS, pp. 179\u2013192. ACM, NY (2010)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/1542476.1542490","volume-title":"Proceedings of the PLDI","author":"C. Flanagan","year":"2009","unstructured":"Flanagan, C., Freund, S.N.: FastTrack: efficient and precise dynamic race detection. In: Proceedings of the PLDI, pp. 121\u2013133. ACM, NY (2009)"},{"key":"3_CR4","first-page":"25","volume-title":"Proceedings of the 14th ASPLOS","author":"S. Park","year":"2009","unstructured":"Park, S., Lu, S., Zhou, Y.: CTrigger: exposing atomicity violation bugs from their hiding places. In: Proceedings of the 14th ASPLOS, pp. 25\u201336. ACM, NY (2009)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Cui, H., Wu, J., Tsai, C.C., Yang, J.: Stable deterministic multithreading through schedule memorization. In: Proceedings of the 9th OSDI. USENIX Association, Berkeley (2010)","DOI":"10.1145\/2043556.2043588"},{"key":"3_CR6","first-page":"177","volume-title":"Proceedings of the 22nd SOSP","author":"S. Park","year":"2009","unstructured":"Park, S., Zhou, Y., Xiong, W., Yin, Z., Kaushik, R., Lee, K.H., Lu, S.: PRES: probabilistic replay with execution sketching on multiprocessors. In: Proceedings of the 22nd SOSP, pp. 177\u2013192. ACM, NY (2009)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/1390630.1390649","volume-title":"Proceedings of the ISSTA","author":"C. Tian","year":"2008","unstructured":"Tian, C., Nagarajan, V., Gupta, R., Tallam, S.: Dynamic recognition of synchronization operations for improved data race detection. In: Proceedings of the ISSTA, pp. 143\u2013154. ACM, NY (2008)"},{"key":"3_CR8","first-page":"1","volume-title":"Proceedings of the IPDPS","author":"A. Jannesari","year":"2010","unstructured":"Jannesari, A., Tichy, W.F.: Identifying ad-hoc synchronization for enhanced race detection. In: Proceedings of the IPDPS, pp. 1\u201310. IEEE Press, NY (2010)"},{"key":"3_CR9","first-page":"3","volume-title":"Proceedings of the PACT","author":"T. Sherwood","year":"2001","unstructured":"Sherwood, T., Perelman, E., Calder, B.: Basic Block Distribution Analysis to Find Periodic Behavior and Simulation Points in Applications. In: Proceedings of the PACT, pp. 3\u201314. IEEE Computer Society, Washington, DC (2001)"},{"key":"3_CR10","first-page":"24","volume-title":"Proceedings of the 22nd ISCA","author":"S.C. Woo","year":"1995","unstructured":"Woo, S.C., Ohara, M., Torrie, E., Singh, J.P., Gupta, A.: The SPLASH-2 programs: characterization and methodological considerations. In: Proceedings of the 22nd ISCA, pp. 24\u201336. ACM, NY (1995)"},{"key":"3_CR11","first-page":"35","volume-title":"Proceedings of the 2008 IISWC","author":"C.C. Minh","year":"2008","unstructured":"Minh, C.C., Chung, J.W., Kozyrakis, C., Olukotun, K.: STAMP: Stanford Transactional Applications for Multi-Processing. In: Proceedings of the 2008 IISWC, pp. 35\u201346. IEEE Press, NY (2008)"},{"key":"3_CR12","unstructured":"Xiong, W., Park, S., Zhang, J., Zhou, Y., Ma, Z.: Ad hoc synchronization considered harmful. In: Proceedings of the 9th OSDI. USENIX Association, Berkeley (2010)"},{"key":"3_CR13","first-page":"206","volume-title":"Proceedings of the 44th MICRO","author":"J. Zhang","year":"2011","unstructured":"Zhang, J., Xiong, W., Liu, Y., Park, S., Zhou, Y., Ma, Z.: ATDetector: improving the accuracy of a commercial data race detector by identifying address transfer. In: Proceedings of the 44th MICRO, pp. 206\u2013215. ACM, NY (2011)"},{"key":"3_CR14","unstructured":"The GNU C Library manual, http:\/\/www.gnu.org\/software\/libc\/manual\/"},{"issue":"6","key":"3_CR15","first-page":"508","volume":"17","author":"T. Li","year":"2006","unstructured":"Li, T., Lebeck, A.R., Sorin, D.J.: Spin detection hardware for improved management of multithreaded systems. J. IEEE PDS\u00a017(6), 508\u2013512 (2006)","journal-title":"J. IEEE PDS"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/1065010.1065034","volume-title":"Proceedings of the PLDI","author":"C.K. Luk","year":"2005","unstructured":"Luk, C.K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: building customized program analysis tools with dynamic instrumentation. In: Proceedings of the PLDI, pp. 190\u2013200. ACM, NY (2005)"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2013 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40047-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T06:19:27Z","timestamp":1688365167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40047-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642400469","9783642400476"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40047-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}