{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:05:50Z","timestamp":1760043950203},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2015,4,7]],"date-time":"2015-04-07T00:00:00Z","timestamp":1428364800000},"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":["J Supercomput"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s11227-015-1418-8","type":"journal-article","created":{"date-parts":[[2015,4,6]],"date-time":"2015-04-06T08:26:33Z","timestamp":1428308793000},"page":"2922-2943","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Detecting harmful data races through parallel verification"],"prefix":"10.1007","volume":"71","author":[{"given":"Zhendong","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoping","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,7]]},"reference":[{"key":"1418_CR1","doi-asserted-by":"crossref","unstructured":"Voung JW, Jhala R, Lerner S (2007) RELAY: static race detection on millions of lines of code. In: 15th ACM SIGSOFT international symposium on foundations of software engineering (FSE 2007), Cavtat near Dubrovnik, Croatia, pp 205\u2013214","DOI":"10.1145\/1287624.1287654"},{"key":"1418_CR2","doi-asserted-by":"crossref","unstructured":"Narayanasamy SZW, Tigani J, Edwards A, Calder B (2007) Automatically classifying benign and harmful data races using replay analysis. In: 28th annual ACMSIGPLAN conference on programming language design and implementation (PLDI 2007), pp 22\u201331","DOI":"10.1145\/1250734.1250738"},{"key":"1418_CR3","unstructured":"SecurityFocus (2014) Software bug contributed to blackout. http:\/\/www.securityfocus.com\/news\/8016 . Accessed 15 Oct 2014"},{"issue":"3","key":"1418_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1889997.1890000","volume":"33","author":"P Pratikakis","year":"2011","unstructured":"Pratikakis P, Foster JS, Hicks M (2011) Locksmith: practical static race detection for c. ACM Trans Program Lang Syst (TOPLAS) 33(3):1\u201355","journal-title":"ACM Trans Program Lang Syst (TOPLAS)"},{"key":"1418_CR5","doi-asserted-by":"crossref","unstructured":"Sen K (2008) Race directed random testing of concurrent programs. In: 29th annual ACMSIGPLAN conference on programming language design and implementation (PLDI 2008), pp 11\u201321","DOI":"10.1145\/1375581.1375584"},{"key":"1418_CR6","doi-asserted-by":"crossref","unstructured":"Eslamimehr M, Palsberg J (2014) Race directed scheduling of concurrent programs. In: Proceedings of the 19th ACM SIGPLAN symposium on principles and practice of parallel programming (PPoPP 2014)","DOI":"10.1145\/2555243.2555263"},{"key":"1418_CR7","doi-asserted-by":"crossref","unstructured":"Dimitrov D, Raychev V, Vechev M, Koskinen E (2014) Commutativity race detection. In: 35th annual ACMSIGPLAN conference on programming language design and implementation (PLDI 2014)","DOI":"10.1145\/2666356.2594322"},{"key":"1418_CR8","unstructured":"Baris K, Cristian Z, George C (2013) RaceMob: crowdsourced data race detection. In : Proceedings of the 23th ACM symposium on operating systems principles (SOSP 2013)"},{"key":"1418_CR9","doi-asserted-by":"crossref","unstructured":"Zhendong W, Kai L, Xiaoping W, Xu Z (2014) Collaborative technique for concurrency bug detection. Int J Parallel Program. pp 1\u201326. doi: 10.1007\/s10766-014-0304-y","DOI":"10.1007\/s10766-014-0304-y"},{"key":"1418_CR10","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 (1997) Eraser: a dynamic data race detector for multithreaded programs. ACM Trans Comput Syst (TOCS) 15:391\u2013411","journal-title":"ACM Trans Comput Syst (TOCS)"},{"key":"1418_CR11","doi-asserted-by":"crossref","unstructured":"Callahan R, Choi J-D (2003) Hybrid dynamic data race detection. In: Proceedings of the 8th ACM SIGPLAN symposium on principles and practice of parallel programming (PPoPP 2003), pp 167\u2013178","DOI":"10.1145\/781498.781528"},{"key":"1418_CR12","doi-asserted-by":"crossref","DOI":"10.1145\/1133981.1134018","volume-title":"Effective static race detection for Java","author":"M Naik","year":"2006","unstructured":"Naik M, Aiken A, Whaley J (2006) Effective static race detection for Java, vol 41. ACM, New York"},{"key":"1418_CR13","unstructured":"Kasikci B, Zamfir C, Candea G (2012) Data races vs. data race bugs: telling the difference with portend. In: 17th architectural support for programming languages and operating systems (ASPLOS 2012), pp 185\u2013198"},{"key":"1418_CR14","doi-asserted-by":"crossref","unstructured":"Huang J, Meredith PO, Rosu G (2014) Maximal sound predictive race detection with control flow abstraction. In: 35th annual ACMSIGPLAN conference on programming language design and implementation (PLDI 2014)","DOI":"10.1145\/2666356.2594315"},{"key":"1418_CR15","unstructured":"Sterling N (1993) WARLOCK-a static data race analysis tool. In: USENIx Winter, pp 97\u2013106"},{"key":"1418_CR16","doi-asserted-by":"crossref","unstructured":"Engler D, Ashcraft K (2003) RacerX: effective, static detection of race conditions and deadlocks. In: Proceedings of the 19th ACM symposium on operating systems principles (SOSP 2003), pp 237\u2013252","DOI":"10.1145\/945445.945468"},{"key":"1418_CR17","doi-asserted-by":"crossref","unstructured":"Zhang W, Sun C, Lu S (2010) ConMem: detecting severe concurrency bugs through an effect-oriented approach. In: 15th architectural support for programming languages and operating systems (ASPLOS 2010), pp 179\u2013192","DOI":"10.1145\/1736020.1736041"},{"key":"1418_CR18","doi-asserted-by":"crossref","unstructured":"Zhang W, Lim J, Olichandran R, Scherpelz J, Jin G, Lu S, Reps T (2011) ConSeq: detecting concurrency bugs through sequential errors. In: 16th architectural support for programming languages and operating systems (ASPLOS 2011), pp 251\u2013264","DOI":"10.1145\/1950365.1950395"},{"key":"1418_CR19","doi-asserted-by":"crossref","unstructured":"Lu S, Park S, Hu C, Ma X, Jiang W, Li Z, Popa RA, Zhou Y (2007) MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In: Proceedings of the 21th ACM symposium on operating systems principles (SOSP 2007), pp 103\u2013116","DOI":"10.1145\/1294261.1294272"},{"key":"1418_CR20","doi-asserted-by":"crossref","unstructured":"Yu J, Narayanasamy S, Pereira C, Pokam G (2012) Maple: a coverage-driven testing tool for multithreaded programs. In: Proceedings of the ACM international conference on object oriented programming systems languages and applications (OOPSLA 2012). pp 485\u2013502","DOI":"10.1145\/2384616.2384651"},{"key":"1418_CR21","doi-asserted-by":"crossref","unstructured":"Liblit B, Naik M, Zheng AX, Aiken A, Jordan MI (2005) Scalable statistical bug isolation, In: 26th annual ACMSIGPLAN conference on programming language design and implementation (PLDI 2005), pp 15\u201326","DOI":"10.1145\/1065010.1065014"},{"key":"1418_CR22","doi-asserted-by":"crossref","unstructured":"Bond MD, Coons KE, McKinley KS (2010) PACER: proportional detection of data races, In: 31th annual ACMSIGPLAN conference on programming language design and implementation (PLDI 2010), pp 255\u2013268","DOI":"10.1145\/1806596.1806626"},{"key":"1418_CR23","doi-asserted-by":"crossref","unstructured":"Jin G, Thakur A, Liblit B, Lu S (2010) Instrumentation and sampling strategies for cooperative concurrency bug isolation. In: Proceedings of the ACM international conference on object oriented programming systems languages and applications (OOPSLA 2010), pp 241\u2013255","DOI":"10.1145\/1869459.1869481"},{"key":"1418_CR24","doi-asserted-by":"crossref","unstructured":"Lu S, Tucek J, Qin F, Zhou Y (2006) AVIO: detecting atomicity violations via access interleaving invariants. In: Architectural support for programming languages and operating systems (ASPLOS 2006), pp 37\u201348","DOI":"10.1145\/1168857.1168864"},{"key":"1418_CR25","doi-asserted-by":"crossref","unstructured":"Park S, Lu S, Zhou Y (2009) CTrigger: exposing atomicity violation bugs from their hiding places. Ctrigger: exposing atomicity violation bugs from their hiding places. In: 15th architectural support for programming languages and operating systems (ASPLOS 2009), pp 25\u201336","DOI":"10.1145\/1508244.1508249"},{"key":"1418_CR26","doi-asserted-by":"crossref","unstructured":"Lu S, Park S, Seo E, Zhou Y (2008) Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: architectural support for programming languages and operating systems (ASPLOS 2008), pp 329\u2013339","DOI":"10.1145\/1346281.1346323"},{"key":"1418_CR27","doi-asserted-by":"crossref","unstructured":"Huang J, Zhang C (2011) Persuasive prediction of concurrency access anomalies. In : Proceedings of the 2011 international symposium on software testing and analysis (ISSTA 2011), pp 144\u2013154","DOI":"10.1145\/2001420.2001438"},{"key":"1418_CR28","doi-asserted-by":"crossref","unstructured":"Lai Z, Cheung SC, Chan WK (2010) Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. In: Proceedings of the 32nd ACM\/IEEE international conference on software engineering (ICSE 2010), pp 235\u2013244","DOI":"10.1145\/1806799.1806836"},{"key":"1418_CR29","unstructured":"Musuvathi M, Qadeer S, Ball T, Basler G, Nainar PA, Neamtiu I (2008) Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX conference on operating systems design and implementation (OSDI 2008), pp 267\u2013280"},{"key":"1418_CR30","doi-asserted-by":"crossref","unstructured":"Luk C-K, Cohn R, Muth R, Patil H, Klauser A, Lowney G, Wallace S, Reddi VJ, Hazelwood K (2005) Pin: building customized program analysis tools with dynamic instrumentation. In 26th annual ACMSIGPLAN conference on programming language design and implementation (PLDI 2005), pp 190\u2013200","DOI":"10.1145\/1065010.1065034"},{"key":"1418_CR31","doi-asserted-by":"crossref","unstructured":"Lucia B, Devietti J, Strauss K, Ceze L (2008) Atom-aid: detecting and surviving atomicity violations. In: Proceedings of the 35th annual international symposium on computer architecture (ISCA 2008), pp 277\u2013288","DOI":"10.1145\/1394608.1382145"},{"key":"1418_CR32","doi-asserted-by":"crossref","unstructured":"Woo SC, Ohara M, Torrie E, Singh JP, Gupta A (1995) The SPLASH-2 programs: characterization and methodological considerations. In: Proceedings of the 22th annual international symposium on computer architecture (ISCA 1995), pp 24\u201336","DOI":"10.1145\/223982.223990"},{"key":"1418_CR33","unstructured":"Gilchrist J (2014) Parallel BZIP2. http:\/\/compression.ca\/pbzip2 . Accessed 15 Oct 2014"},{"key":"1418_CR34","unstructured":"McPherson C (2014) Ctrace. http:\/\/ctrace.sourceforge.net . Accessed 15 Oct 2014"},{"key":"1418_CR35","doi-asserted-by":"crossref","unstructured":"Xu Z, Kai L, Xiaoping W, Xu L (2012) Exploiting parallelism in deterministic shared memory multiprocessing. J Parallel Distrib Comput (JPDC) 72(5):716\u2013727. doi: 10.1016\/j.jpdc.2012.02.008","DOI":"10.1016\/j.jpdc.2012.02.008"},{"key":"1418_CR36","unstructured":"Kai L, Xu Z, Bergan T, Xiaoping Wang (2014) Efficient deterpinistic multithreading without global barriers. In: Proceedings of the 19th ACM SIGPLAN symposium on principles and practice of parallel programming"},{"key":"1418_CR37","unstructured":"Zhendong W, Kai L, Xiaoping W, Xu Z, Chen C (2014) PFinder: efficiently detecting bugs in concurrent programs through parallelizing race verification. The 9th IEEE international conference on computer engineering and systems"},{"key":"1418_CR38","unstructured":"Kai L, Zhendong W, Xiaoping W, Chen C, Xu Z (2015) RaceChecker: efficient identification of harmful data races. The 23rd Euromicro international conference on parallel, distributed, and network-based processing (PDP 2015), pp 78\u201385"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-015-1418-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-015-1418-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-015-1418-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T06:54:00Z","timestamp":1691564040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-015-1418-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,7]]},"references-count":38,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["1418"],"URL":"https:\/\/doi.org\/10.1007\/s11227-015-1418-8","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,7]]}}}