{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T05:51:20Z","timestamp":1713505880972},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,6,22]],"date-time":"2015-06-22T00:00:00Z","timestamp":1434931200000},"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":["Front. Comput. Sci."],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s11704-015-4042-0","type":"journal-article","created":{"date-parts":[[2015,6,22]],"date-time":"2015-06-22T07:09:06Z","timestamp":1434956946000},"page":"524-539","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Understanding and identifying latent data races cross-thread interleaving"],"prefix":"10.1007","volume":"9","author":[{"given":"Long","family":"Zheng","sequence":"first","affiliation":[]},{"given":"Xiaofei","family":"Liao","sequence":"additional","affiliation":[]},{"given":"Song","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Xuepeng","family":"Fan","sequence":"additional","affiliation":[]},{"given":"Hai","family":"Jin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,22]]},"reference":[{"issue":"1","key":"4042_CR1","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"R H B Netzer","year":"1992","unstructured":"Netzer R H B, Miller B P. What are race conditions?: some issues and formalizations. ACM Letters on Programming Languages and Systems, 1992, 1(1): 74\u201388","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"4042_CR2","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1145\/1806596.1806626","volume-title":"In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"M D Bond","year":"2010","unstructured":"Bond M D, Coons K E, McKinley K S. Pacer: proportional detection of data races. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 2010, 255\u2013268"},{"key":"4042_CR3","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/1542476.1542490","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"C Flanagan","year":"2009","unstructured":"Flanagan C, Freund S N. FastTrack: efficient and precise dynamic race detection. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 2009, 121\u2013133"},{"key":"4042_CR4","first-page":"22","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"S Narayanasamy","year":"2007","unstructured":"Narayanasamy S, Wang Z, Tigani J, Edwards A, Calder B. Automatically classifying benign and harmful data races using replay analysis. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 2007, 22\u201331"},{"issue":"7","key":"4042_CR5","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Leslie","year":"1978","unstructured":"Leslie L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978, 21(7): 558\u2013565","journal-title":"Communications of the ACM"},{"key":"4042_CR6","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/978-3-540-73368-3_27","volume-title":"Proceedings of the 19th International Conference on Computer Aided Verification","author":"F Chen","year":"2007","unstructured":"Chen F, Ro\u015fu G. Parametric and sliced causality. In: Proceedings of the 19th International Conference on Computer Aided Verification. 2007, 240\u2013253"},{"key":"4042_CR7","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1145\/2103656.2103702","volume-title":"Proceedings of the 39th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Y Smaragdakis","year":"2012","unstructured":"Smaragdakis Y, Evans J, Sadowski C, Yi J, Flanagan C. Sound predictive race detection in polynomial time. In: Proceedings of the 39th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2012, 387\u2013400"},{"issue":"4","key":"4042_CR8","doi-asserted-by":"crossref","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. ACM Transactions on Computer Systems, 1997, 15(4): 391\u2013411","journal-title":"ACM Transactions on Computer Systems"},{"key":"4042_CR9","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/1791194.1791203","volume-title":"Proceedings of the Workshop on Binary Instrumentation and Applications","author":"K Serebryany","year":"2009","unstructured":"Serebryany K, Iskhodzhanov T. ThreadSanitizer: data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications. 2009, 62\u201371"},{"key":"4042_CR10","first-page":"1","volume-title":"Proceedings of the IEEE International Symposium on Parallel Distributed Processing","author":"A Jannesari","year":"2009","unstructured":"Jannesari A, Kaibin B, Pankratius V, Tichy W F. Helgrind+: an efficient dynamic race detector. In: Proceedings of the IEEE International Symposium on Parallel Distributed Processing. 2009, 1\u201313"},{"key":"4042_CR11","first-page":"201","volume-title":"Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization","author":"X Xie","year":"2011","unstructured":"Xie X, Xue J. Acculock: accurate and efficient detection of data races. In: Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization. 2011, 201\u2013212"},{"key":"4042_CR12","first-page":"56","volume-title":"Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization","author":"L Zheng","year":"2015","unstructured":"Zheng L, Liao X, He B, Wu S, Jin H. On performance debugging of unnecessary lock contentions on multicore processors: a replay-based approach. In: Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization. 2015, 56\u201367"},{"key":"4042_CR13","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/1254810.1254820","volume-title":"Proceedings of the 3rd International Conference on Virtual Execution Environments","author":"N Nethercote","year":"2007","unstructured":"Nethercote N, Seward J. How to shadow every byte of memory used by a program. In: Proceedings of the 3rd International Conference on Virtual Execution Environments. 2007, 65\u201374"},{"key":"4042_CR14","first-page":"1","volume-title":"Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization","author":"H Kyu Cho","year":"2013","unstructured":"Kyu Cho H, Wang Y, Liao H, Kelly T, Lafortune S, Mahlke S. Practical lock\/unlock pairing for concurrent programs. In: Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization. 2013, 1\u201312"},{"key":"4042_CR15","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1145\/1346281.1346323","volume-title":"Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"S Lu","year":"2008","unstructured":"Lu S, Park S, Seo E, Zhou Y. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems. 2008, 329\u2013339"},{"key":"4042_CR16","first-page":"205","volume-title":"Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering","author":"J W Voung","year":"2007","unstructured":"Voung J W, Jhala R, Lerner S. Relay: static race detection on millions of lines of code. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering. 2007, 205\u2013214"},{"key":"4042_CR17","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/945445.945468","volume-title":"Proceedings of the 19th ACM Symposium on Operating Systems Principles","author":"D Engler","year":"2003","unstructured":"Engler D, Ashcraft K. RacerX: effective, static detection of race conditions and deadlocks. In: Proceedings of the 19th ACM Symposium on Operating Systems Principles. 2003, 237\u2013252"},{"key":"4042_CR18","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/1542476.1542491","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"D Marino","year":"2009","unstructured":"Marino D, Musuvathi M, Narayanasamy S. LiteRace: effective sampling for lightweight data-race detection. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 2009, 134\u2013143"},{"key":"4042_CR19","first-page":"2","volume-title":"Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization","author":"H Patil","year":"2010","unstructured":"Patil H, Pereira C, Stallcup M, Lueck G, Cownie J. PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs. In: Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization. 2010, 2\u201311"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-015-4042-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-015-4042-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-015-4042-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,14]],"date-time":"2022-05-14T14:43:31Z","timestamp":1652539411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-015-4042-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,22]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["4042"],"URL":"https:\/\/doi.org\/10.1007\/s11704-015-4042-0","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,22]]}}}