{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:46Z","timestamp":1763468206306,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"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_11","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T15:10:04Z","timestamp":1412089804000},"page":"187-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Effectively Recognize Ad hoc Synchronizations with Static Analysis"],"prefix":"10.1007","author":[{"given":"Le","family":"Yin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Adve, S.V., Hill, M.D.: Weak ordering - a new definition. In: ISCA, pp. 2\u201314 (1990)","DOI":"10.1145\/325096.325100"},{"key":"11_CR2","unstructured":"Andersen, L.O.: Program analysis and specialization for the C programming language. Ph.D thesis, DIKU, University of Copenhagen, May 1994"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Lee, K., Midkiff, S.P.: A two-phase escape analysis for parallel Java programs. In: PACT, pp. 53\u201362 (2006)","DOI":"10.1145\/1152154.1152166"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Jannesari, A., Tichy, W.F.: Identifying ad-hoc synchronization for enhanced race detection. In: IPDPS. IEEE (2010)","DOI":"10.1109\/IPDPS.2010.5470343"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Krena, B., Letko, Z., Tzoref, R., Ur, S., Vojnar, T.: Healing data races on-the-fly. In: PADTAD, pp. 54\u201364 (2007)","DOI":"10.1145\/1273647.1273658"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"O\u2019Callahan, R., Choi, J.-D.: Hybrid dynamic data race detection. In: PPoPP, pp. 167\u2013178 (2003)","DOI":"10.1145\/966049.781528"},{"key":"11_CR7","volume-title":"Advanced Compiler Design and Implementation","author":"SS Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufmann Publisher, San Francisco (1997)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Manson, J., Pugh, W., Adve, S.V.: The Java memory model. In: POPL, pp. 378\u2013391 (2005)","DOI":"10.1145\/1047659.1040336"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective static race detection for Java. In: PLDI, pp. 308\u2013319 (2006)","DOI":"10.1145\/1133255.1134018"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: OOPSLA, pp. 70\u201382 (2001)","DOI":"10.1145\/504311.504288"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Perkovic, D., Keleher, P.J.: Online data-race detection via coherency guarantees. In: OSDI, pp. 47\u201357 (1996)","DOI":"10.1145\/248155.238760"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multi-threaded programs. In: SOSP, pp. 27\u201337 (1997)","DOI":"10.1145\/269005.266641"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Tian, C., Nagarajan, V., Gupta, R., Tallam, S.: Dynamic recognition of synchronization operations for improved data race detection. In: ISSTA, pp. 143\u2013154 (2008)","DOI":"10.1145\/1390630.1390649"},{"key":"11_CR14","unstructured":"Xiong, W., Park, S., Zhang, J., Zhou, Y., Ma, Z.: Ad hoc synchronization considered harmful. In: OSDI, pp. 1\u20138 (2010)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Xie, X., Xue, J.: ACCULOCK: accurate and efficient detection of data races. In: CGO, pp. 201\u2013212 (2011)","DOI":"10.1109\/CGO.2011.5764688"},{"key":"11_CR16","unstructured":"Subsection 8.3.1.4 in The Java Language Specification, Third Edition. http:\/\/java.sun.com\/docs\/books\/jls\/third_edition\/html\/j3TOC.html"},{"key":"11_CR17","unstructured":"Java grande benchmark. http:\/\/www.epcc.ed.ac.uk\/research\/java-grande\/"},{"key":"11_CR18","unstructured":"Raja raytracer program. http:\/\/raja.sourceforge.net\/"},{"key":"11_CR19","unstructured":"SPEC2000 Java Business Benchmark. http:\/\/www.spec.org\/osg\/jbb2000\/"},{"key":"11_CR20","unstructured":"JTPCC TPC-C benchmark. http:\/\/jtpcc.sourceforge.net\/"},{"key":"11_CR21","unstructured":"Dacapo Benchmarks. http:\/\/dacapobench.org\/"},{"key":"11_CR22","unstructured":"W3C web server jigsaw. http:\/\/www.w3.org\/Jigsaw\/"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T03:23:40Z","timestamp":1675826620000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-09967-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319099668","9783319099675"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09967-5_11","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"}}]}}