{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T18:16:58Z","timestamp":1773512218709,"version":"3.50.1"},"reference-count":99,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA","license":[{"start":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T00:00:00Z","timestamp":1570665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CAREER-1253703, CCF- 1421612, XPS-1629126"],"award-info":[{"award-number":["CAREER-1253703, CCF- 1421612, XPS-1629126"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2019,10,10]]},"abstract":"<jats:p>Data races are a real problem for parallel software, yet hard to detect. Sound predictive analysis observes a program execution and detects data races that exist in some other, unobserved execution. However, existing predictive analyses miss races because they do not scale to full program executions or do not precisely incorporate data and control dependence.<\/jats:p>\n          <jats:p>This paper introduces two novel, sound predictive approaches that incorporate data and control dependence and handle full program executions. An evaluation using real, large Java programs shows that these approaches detect more data races than the closest related approaches, thus advancing the state of the art in sound predictive race detection.<\/jats:p>","DOI":"10.1145\/3360605","type":"journal-article","created":{"date-parts":[[2019,10,11]],"date-time":"2019-10-11T14:53:33Z","timestamp":1570805613000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Dependence-aware, unbounded sound predictive race detection"],"prefix":"10.1145","volume":"3","author":[{"given":"Kaan","family":"Gen\u00e7","sequence":"first","affiliation":[{"name":"Ohio State University, USA"}]},{"given":"Jake","family":"Roemer","sequence":"additional","affiliation":[{"name":"Ohio State University, USA"}]},{"given":"Yufan","family":"Xu","sequence":"additional","affiliation":[{"name":"Ohio State University, USA"}]},{"given":"Michael D.","family":"Bond","sequence":"additional","affiliation":[{"name":"Ohio State University, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,10,10]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119480"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1787234.1787255"},{"key":"e_1_2_2_3_1","doi-asserted-by":"crossref","unstructured":"W. Ahn S. Qi M. Nicolaides J. Torrellas J.-W. Lee X. Fang S. Midkiff and D. Wong. 2009. BulkCompiler: High-Performance Sequential Consistency through Cooperative Compiler and Hardware Support. In MICRO. 133\u2013144.  W. Ahn S. Qi M. Nicolaides J. Torrellas J.-W. Lee X. Fang S. Midkiff and D. Wong. 2009. BulkCompiler: High-Performance Sequential Consistency through Cooperative Compiler and Hardware Support. In MICRO. 133\u2013144.","DOI":"10.1145\/1669112.1669131"},{"key":"e_1_2_2_4_1","volume-title":"Wood","author":"Biswas Swarnendu","year":"2017","unstructured":"Swarnendu Biswas , Man Cao , Minjia Zhang , Michael D. Bond , and Benjamin P . Wood . 2017 . Lightweight Data Race Detection for Production Runs. In CC. 11\u201321. Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood. 2017. Lightweight Data Race Detection for Production Runs. In CC. 11\u201321."},{"key":"e_1_2_2_5_1","volume-title":"Valor: Efficient, Software-Only Region Conflict Exceptions. In OOPSLA. 241\u2013259.","author":"Biswas Swarnendu","year":"2015","unstructured":"Swarnendu Biswas , Minjia Zhang , Michael D. Bond , and Brandon Lucia . 2015 . Valor: Efficient, Software-Only Region Conflict Exceptions. In OOPSLA. 241\u2013259. Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia. 2015. Valor: Efficient, Software-Only Region Conflict Exceptions. In OOPSLA. 241\u2013259."},{"key":"e_1_2_2_6_1","doi-asserted-by":"crossref","unstructured":"S. M. Blackburn R. Garner C. Hoffman A. M. Khan K. S. McKinley R. Bentzur A. Diwan D. Feinberg D. Frampton S. Z. Guyer M. Hirzel A. Hosking M. Jump H. Lee J. E. B. Moss A. Phansalkar D. Stefanovi\u0107 T. VanDrunen D. von Dincklage and B. Wiedermann. 2006. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In OOPSLA . 169\u2013190.  S. M. Blackburn R. Garner C. Hoffman A. M. Khan K. S. McKinley R. Bentzur A. Diwan D. Feinberg D. Frampton S. Z. Guyer M. Hirzel A. Hosking M. Jump H. Lee J. E. B. Moss A. Phansalkar D. Stefanovi\u0107 T. VanDrunen D. von Dincklage and B. Wiedermann. 2006. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In OOPSLA . 169\u2013190.","DOI":"10.1145\/1167515.1167488"},{"key":"e_1_2_2_7_1","unstructured":"Robert L. Bocchino Jr. Vikram S. Adve Sarita V. Adve and Marc Snir. 2009. Parallel Programming Must Be Deterministic by Default. In HotPar. 4\u20139.  Robert L. Bocchino Jr. Vikram S. Adve Sarita V. Adve and Marc Snir. 2009. Parallel Programming Must Be Deterministic by Default. In HotPar. 4\u20139."},{"key":"e_1_2_2_8_1","volume-title":"\u201cbenign","author":"Boehm J.","unstructured":"Hans- J. Boehm . 2011. How to miscompile programs with \u201cbenign \u201d data races. In HotPar . 6. Hans-J. Boehm. 2011. How to miscompile programs with \u201cbenign\u201d data races. In HotPar. 6."},{"key":"e_1_2_2_9_1","doi-asserted-by":"crossref","unstructured":"Hans-J. Boehm. 2012. Position paper: Nondeterminism is Unavoidable but Data Races are Pure Evil. In RACES. 9\u201314.  Hans-J. Boehm. 2012. Position paper: Nondeterminism is Unavoidable but Data Races are Pure Evil. In RACES. 9\u201314.","DOI":"10.1145\/2414729.2414732"},{"key":"e_1_2_2_10_1","volume-title":"Adve","author":"Boehm J.","year":"2008","unstructured":"Hans- J. Boehm and Sarita V . Adve . 2008 . Foundations of the C++ Concurrency Memory Model. In PLDI. 68\u201378. Hans-J. Boehm and Sarita V. Adve. 2008. Foundations of the C++ Concurrency Memory Model. In PLDI. 68\u201378."},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076450.2076465"},{"key":"e_1_2_2_12_1","volume-title":"Boehm and Brian Demsky","author":"J.","year":"2014","unstructured":"Hans- J. Boehm and Brian Demsky . 2014 . Outlawing Ghosts : Avoiding Out-of-Thin-Air Results. In MSPC. Article 7, 6 pages. Hans-J. Boehm and Brian Demsky. 2014. Outlawing Ghosts: Avoiding Out-of-Thin-Air Results. In MSPC. Article 7, 6 pages."},{"key":"e_1_2_2_13_1","volume-title":"McKinley","author":"Bond Michael D.","year":"2010","unstructured":"Michael D. Bond , Katherine E. Coons , and Kathryn S . McKinley . 2010 . Pacer : Proportional Detection of Data Races. In PLDI. 255\u2013268. Michael D. Bond, Katherine E. Coons, and Kathryn S. McKinley. 2010. Pacer: Proportional Detection of Data Races. In PLDI. 255\u2013268."},{"key":"e_1_2_2_14_1","doi-asserted-by":"crossref","unstructured":"Chandrasekhar Boyapati Robert Lee and Martin Rinard. 2002. Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. In OOPSLA. 211\u2013230.  Chandrasekhar Boyapati Robert Lee and Martin Rinard. 2002. Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. In OOPSLA. 211\u2013230.","DOI":"10.1145\/583854.582440"},{"key":"e_1_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Sebastian Burckhardt Pravesh Kothari Madanlal Musuvathi and Santosh Nagarakatte. 2010. A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs. In ASPLOS. 167\u2013178.  Sebastian Burckhardt Pravesh Kothari Madanlal Musuvathi and Santosh Nagarakatte. 2010. A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs. In ASPLOS. 167\u2013178.","DOI":"10.1145\/1735971.1736040"},{"key":"e_1_2_2_16_1","doi-asserted-by":"crossref","unstructured":"Jacob Burnim Koushik Sen and Christos Stergiou. 2011. Testing Concurrent Programs on Relaxed Memory Models. In ISSTA . 122\u2013132.  Jacob Burnim Koushik Sen and Christos Stergiou. 2011. Testing Concurrent Programs on Relaxed Memory Models. In ISSTA . 122\u2013132.","DOI":"10.1145\/2001420.2001436"},{"key":"e_1_2_2_17_1","doi-asserted-by":"crossref","unstructured":"Yan Cai and Lingwei Cao. 2015. Effective and Precise Dynamic Detection of Hidden Races for Java Programs. In ESEC\/FSE. 450\u2013461.  Yan Cai and Lingwei Cao. 2015. Effective and Precise Dynamic Detection of Hidden Races for Java Programs. In ESEC\/FSE. 450\u2013461.","DOI":"10.1145\/2786805.2786839"},{"key":"e_1_2_2_18_1","volume-title":"Bond","author":"Cao Man","year":"2016","unstructured":"Man Cao , Jake Roemer , Aritra Sengupta , and Michael D . Bond . 2016 . Prescient Memory : Exposing Weak Memory Model Behavior by Looking into the Future. In ISMM. 99\u2013110. Man Cao, Jake Roemer, Aritra Sengupta, and Michael D. Bond. 2016. Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future. In ISMM. 99\u2013110."},{"key":"e_1_2_2_19_1","doi-asserted-by":"crossref","unstructured":"Feng Chen Traian Florin \u015eerb\u0103nu\u0163\u0103 and Grigore Ro\u015fu. 2008. jPredictor: A Predictive Runtime Analysis Tool for Java. In ICSE . 221\u2013230.  Feng Chen Traian Florin \u015eerb\u0103nu\u0163\u0103 and Grigore Ro\u015fu. 2008. jPredictor: A Predictive Runtime Analysis Tool for Java. In ICSE . 221\u2013230.","DOI":"10.1145\/1368088.1368119"},{"key":"e_1_2_2_20_1","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi Keunwoo Lee Alexey Loginov Robert O\u2019Callahan Vivek Sarkar and Manu Sridharan. 2002. Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. In PLDI. 258\u2013269.  Jong-Deok Choi Keunwoo Lee Alexey Loginov Robert O\u2019Callahan Vivek Sarkar and Manu Sridharan. 2002. Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. In PLDI. 258\u2013269.","DOI":"10.1145\/543552.512560"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2366231.2337182"},{"key":"e_1_2_2_22_1","doi-asserted-by":"crossref","unstructured":"Anne Dinning and Edith Schonberg. 1991. Detecting Access Anomalies in Programs with Critical Sections. In PADD. 85\u201396.  Anne Dinning and Edith Schonberg. 1991. Detecting Access Anomalies in Programs with Critical Sections. In PADD. 85\u201396.","DOI":"10.1145\/127695.122767"},{"key":"e_1_2_2_23_1","doi-asserted-by":"crossref","unstructured":"Stephen Dolan KC Sivaramakrishnan and Anil Madhavapeddy. 2018. Bounding Data Races in Space and Time. In PLDI. 242\u2013255.  Stephen Dolan KC Sivaramakrishnan and Anil Madhavapeddy. 2018. Bounding Data Races in Space and Time. In PLDI. 242\u2013255.","DOI":"10.1145\/3296979.3192421"},{"key":"e_1_2_2_24_1","doi-asserted-by":"crossref","unstructured":"Laura Effinger-Dean Brandon Lucia Luis Ceze Dan Grossman and Hans-J. Boehm. 2012. IFRit: Interference-Free Regions for Dynamic Data-Race Detection. In OOPSLA. 467\u2013484.  Laura Effinger-Dean Brandon Lucia Luis Ceze Dan Grossman and Hans-J. Boehm. 2012. IFRit: Interference-Free Regions for Dynamic Data-Race Detection. In OOPSLA. 467\u2013484.","DOI":"10.1145\/2398857.2384650"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250762"},{"key":"e_1_2_2_26_1","doi-asserted-by":"crossref","unstructured":"Dawson Engler and Ken Ashcraft. 2003. RacerX: Effective Static Detection of Race Conditions and Deadlocks. In SOSP. 237\u2013252.  Dawson Engler and Ken Ashcraft. 2003. RacerX: Effective Static Detection of Race Conditions and Deadlocks. In SOSP. 237\u2013252.","DOI":"10.1145\/1165389.945468"},{"key":"e_1_2_2_27_1","unstructured":"John Erickson Madanlal Musuvathi Sebastian Burckhardt and Kirk Olynyk. 2010. Effective Data-Race Detection for the Kernel. In OSDI. 1\u201316.  John Erickson Madanlal Musuvathi Sebastian Burckhardt and Kirk Olynyk. 2010. Effective Data-Race Detection for the Kernel. In OSDI. 1\u201316."},{"key":"e_1_2_2_28_1","doi-asserted-by":"crossref","unstructured":"Mahdi Eslamimehr and Jens Palsberg. 2014. Race Directed Scheduling of Concurrent Programs. In PPoPP. 301\u2013314.  Mahdi Eslamimehr and Jens Palsberg. 2014. Race Directed Scheduling of Concurrent Programs. In PPoPP. 301\u2013314.","DOI":"10.1145\/2692916.2555263"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.03.006"},{"key":"e_1_2_2_31_1","volume-title":"Freund","author":"Flanagan Cormac","year":"2009","unstructured":"Cormac Flanagan and Stephen N . Freund . 2009 . FastTrack: Efficient and Precise Dynamic Race Detection. In PLDI. 121\u2013133. Cormac Flanagan and Stephen N. Freund. 2009. FastTrack: Efficient and Precise Dynamic Race Detection. In PLDI. 121\u2013133."},{"key":"e_1_2_2_32_1","volume-title":"Freund","author":"Flanagan Cormac","year":"2010","unstructured":"Cormac Flanagan and Stephen N . Freund . 2010 a. Adversarial Memory for Detecting Destructive Races. In PLDI. 244\u2013254. Cormac Flanagan and Stephen N. Freund. 2010a. Adversarial Memory for Detecting Destructive Races. In PLDI. 244\u2013254."},{"key":"e_1_2_2_33_1","volume-title":"Freund","author":"Flanagan Cormac","year":"2010","unstructured":"Cormac Flanagan and Stephen N . Freund . 2010 b. The RoadRunner Dynamic Analysis Framework for Concurrent Programs. In PASTE. 1\u20138. Cormac Flanagan and Stephen N. Freund. 2010b. The RoadRunner Dynamic Analysis Framework for Concurrent Programs. In PASTE. 1\u20138."},{"key":"e_1_2_2_34_1","volume-title":"Freund","author":"Flanagan Cormac","year":"2017","unstructured":"Cormac Flanagan and Stephen N . Freund . 2017 . The FastTrack2 Race Detector. Technical Report. Williams College . Cormac Flanagan and Stephen N. Freund. 2017. The FastTrack2 Race Detector. Technical Report. Williams College."},{"key":"e_1_2_2_35_1","volume-title":"Bond","author":"Gen\u00e7 Kaan","year":"2019","unstructured":"Kaan Gen\u00e7 , Jake Roemer , Yufan Xu , and Michael D . Bond . 2019 . Dependence-Aware, Unbounded Sound Predictive Race Detection. CoRR abs\/1904.13088 (2019). arXiv: 1904.13088 http:\/\/arxiv.org\/abs\/1904.13088 Kaan Gen\u00e7, Jake Roemer, Yufan Xu, and Michael D. Bond. 2019. Dependence-Aware, Unbounded Sound Predictive Race Detection. CoRR abs\/1904.13088 (2019). arXiv: 1904.13088 http:\/\/arxiv.org\/abs\/1904.13088"},{"key":"e_1_2_2_36_1","doi-asserted-by":"crossref","unstructured":"Dennis Giffhorn and Christian Hammer. 2008. Precise Analysis of Java Programs Using JOANA. In SCAM. 267\u2013268.  Dennis Giffhorn and Christian Hammer. 2008. Precise Analysis of Java Programs Using JOANA. In SCAM. 267\u2013268.","DOI":"10.1109\/SCAM.2008.17"},{"key":"e_1_2_2_37_1","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger Ranjit Jhala and Rupak Majumdar. 2004. Race Checking by Context Inference. In PLDI. 1\u201313.  Thomas A. Henzinger Ranjit Jhala and Rupak Majumdar. 2004. Race Checking by Context Inference. In PLDI. 1\u201313.","DOI":"10.1145\/996841.996844"},{"key":"e_1_2_2_38_1","doi-asserted-by":"crossref","unstructured":"Jeff Huang. 2015. Stateless Model Checking Concurrent Programs with Maximal Causality Reduction. In PLDI. 165\u2013174.  Jeff Huang. 2015. Stateless Model Checking Concurrent Programs with Maximal Causality Reduction. In PLDI. 165\u2013174.","DOI":"10.1145\/2813885.2737975"},{"key":"e_1_2_2_39_1","volume-title":"Patrick O\u2019Neil Meredith, and Grigore Ro\u015fu","author":"Huang Jeff","year":"2014","unstructured":"Jeff Huang , Patrick O\u2019Neil Meredith, and Grigore Ro\u015fu . 2014 . Maximal Sound Predictive Race Detection with Control Flow Abstraction. In PLDI. 337\u2013348. Jeff Huang, Patrick O\u2019Neil Meredith, and Grigore Ro\u015fu. 2014. Maximal Sound Predictive Race Detection with Control Flow Abstraction. In PLDI. 337\u2013348."},{"key":"e_1_2_2_40_1","volume-title":"Rajagopalan","author":"Huang Jeff","year":"2016","unstructured":"Jeff Huang and Arun K . Rajagopalan . 2016 . Precise and Maximal Race Detection from Incomplete Traces. In OOPSLA. 462\u2013476. Jeff Huang and Arun K. Rajagopalan. 2016. Precise and Maximal Race Detection from Incomplete Traces. In OOPSLA. 462\u2013476."},{"key":"e_1_2_2_41_1","first-page":"1","article-title":"Speeding Up Maximal Causality Reduction with Static Dependency Analysis","volume":"16","author":"Huang Shiyou","year":"2017","unstructured":"Shiyou Huang and Jeff Huang . 2017 . Speeding Up Maximal Causality Reduction with Static Dependency Analysis . In ECOOP. 16 : 1 \u2013 16 :22. Shiyou Huang and Jeff Huang. 2017. Speeding Up Maximal Causality Reduction with Static Dependency Analysis. In ECOOP. 16:1\u201316:22.","journal-title":"ECOOP."},{"key":"e_1_2_2_42_1","unstructured":"Intel Corporation. 2016. Intel Inspector. https:\/\/software.intel.com\/en-us\/intel-inspector-xe .  Intel Corporation. 2016. Intel Inspector. https:\/\/software.intel.com\/en-us\/intel-inspector-xe ."},{"key":"e_1_2_2_43_1","doi-asserted-by":"crossref","unstructured":"Baris Kasikci Cristian Zamfir and George Candea. 2012. Data Races vs. Data Race Bugs: Telling the Difference with Portend. In ASPLOS. 185\u2013198.  Baris Kasikci Cristian Zamfir and George Candea. 2012. Data Races vs. Data Race Bugs: Telling the Difference with Portend. In ASPLOS. 185\u2013198.","DOI":"10.1145\/2248487.2150997"},{"key":"e_1_2_2_44_1","doi-asserted-by":"crossref","unstructured":"Baris Kasikci Cristian Zamfir and George Candea. 2013. RaceMob: Crowdsourced Data Race Detection. In SOSP. 406\u2013422.  Baris Kasikci Cristian Zamfir and George Candea. 2013. RaceMob: Crowdsourced Data Race Detection. In SOSP. 406\u2013422.","DOI":"10.1145\/2517349.2522736"},{"key":"e_1_2_2_45_1","volume-title":"Article 8 (May","author":"Kasikci Baris","year":"2015","unstructured":"Baris Kasikci , Cristian Zamfir , and George Candea . 2015. Automated Classification of Data Races Under Both Strong and Weak Memory Models. TOPLAS 37, 3 , Article 8 (May 2015 ), 44 pages. Baris Kasikci, Cristian Zamfir, and George Candea. 2015. Automated Classification of Data Races Under Both Strong and Weak Memory Models. TOPLAS 37, 3, Article 8 (May 2015), 44 pages."},{"key":"e_1_2_2_46_1","doi-asserted-by":"crossref","unstructured":"Dileep Kini Umang Mathur and Mahesh Viswanathan. 2017. Dynamic Race Prediction in Linear Time. In PLDI. 157\u2013170.  Dileep Kini Umang Mathur and Mahesh Viswanathan. 2017. Dynamic Race Prediction in Linear Time. In PLDI. 157\u2013170.","DOI":"10.1145\/3140587.3062374"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254119"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"e_1_2_2_50_1","volume-title":"The Java Virtual Machine Specification","author":"Lindholm Tim","unstructured":"Tim Lindholm and Frank Yellin . 1999. The Java Virtual Machine Specification ( 2 nd ed.). Prentice Hall PTR. Tim Lindholm and Frank Yellin. 1999. The Java Virtual Machine Specification (2nd ed.). Prentice Hall PTR.","edition":"2"},{"key":"e_1_2_2_51_1","volume-title":"IPA: Improving Predictive Analysis with Pointer Analysis. In ISSTA. 59\u201369.","author":"Liu Peng","year":"2016","unstructured":"Peng Liu , Omer Tripp , and Xiangyu Zhang . 2016 . IPA: Improving Predictive Analysis with Pointer Analysis. In ISSTA. 59\u201369. Peng Liu, Omer Tripp, and Xiangyu Zhang. 2016. IPA: Improving Predictive Analysis with Pointer Analysis. In ISSTA. 59\u201369."},{"key":"e_1_2_2_52_1","doi-asserted-by":"crossref","unstructured":"Shan Lu Soyeon Park Eunsoo Seo and Yuanyuan Zhou. 2008. Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics. In ASPLOS. 329\u2013339.  Shan Lu Soyeon Park Eunsoo Seo and Yuanyuan Zhou. 2008. Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics. In ASPLOS. 329\u2013339.","DOI":"10.1145\/1353536.1346323"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815987"},{"key":"e_1_2_2_54_1","volume-title":"DigHR: precise dynamic detection of hidden races with weak causal relation analysis. J. Supercomputing","author":"Luo Peng","year":"2018","unstructured":"Peng Luo , Deqing Zou , Hai Jin , Yajuan Du , Long Zheng , and Jinan Shen . 2018. DigHR: precise dynamic detection of hidden races with weak causal relation analysis. J. Supercomputing ( 2018 ). Peng Luo, Deqing Zou, Hai Jin, Yajuan Du, Long Zheng, and Jinan Shen. 2018. DigHR: precise dynamic detection of hidden races with weak causal relation analysis. J. Supercomputing (2018)."},{"key":"e_1_2_2_55_1","volume-title":"Adve","author":"Manson Jeremy","year":"2005","unstructured":"Jeremy Manson , William Pugh , and Sarita V . Adve . 2005 . The Java Memory Model. In POPL. 378\u2013391. Jeremy Manson, William Pugh, and Sarita V. Adve. 2005. The Java Memory Model. In POPL. 378\u2013391."},{"key":"e_1_2_2_56_1","doi-asserted-by":"crossref","unstructured":"Daniel Marino Madanlal Musuvathi and Satish Narayanasamy. 2009. LiteRace: Effective Sampling for Lightweight Data-Race Detection. In PLDI. 134\u2013143.  Daniel Marino Madanlal Musuvathi and Satish Narayanasamy. 2009. LiteRace: Effective Sampling for Lightweight Data-Race Detection. In PLDI. 134\u2013143.","DOI":"10.1145\/1543135.1542491"},{"key":"e_1_2_2_57_1","doi-asserted-by":"crossref","unstructured":"Daniel Marino Abhayendra Singh Todd Millstein Madanlal Musuvathi and Satish Narayanasamy. 2010. DRFx: A Simple and Efficient Memory Model for Concurrent Programming Languages. In PLDI. 351\u2013362.  Daniel Marino Abhayendra Singh Todd Millstein Madanlal Musuvathi and Satish Narayanasamy. 2010. DRFx: A Simple and Efficient Memory Model for Concurrent Programming Languages. In PLDI. 351\u2013362.","DOI":"10.1145\/1809028.1806636"},{"key":"e_1_2_2_58_1","doi-asserted-by":"crossref","unstructured":"Daniel Marino Abhayendra Singh Todd Millstein Madanlal Musuvathi and Satish Narayanasamy. 2011. A Case for an SC-Preserving Compiler. In PLDI. 199\u2013210.  Daniel Marino Abhayendra Singh Todd Millstein Madanlal Musuvathi and Satish Narayanasamy. 2011. A Case for an SC-Preserving Compiler. In PLDI. 199\u2013210.","DOI":"10.1145\/1993316.1993522"},{"key":"e_1_2_2_59_1","volume-title":"II.","author":"Matsakis Nicholas D.","year":"2014","unstructured":"Nicholas D. Matsakis and Felix S . Klock , II. 2014 . The Rust Language. In HILT. 103\u2013104. Nicholas D. Matsakis and Felix S. Klock, II. 2014. The Rust Language. In HILT. 103\u2013104."},{"key":"e_1_2_2_60_1","volume-title":"Virtual Time and Global States of Distributed Systems. In Workshop on Parallel and Distributed Algorithms . 215\u2013226","author":"Mattern Friedemann","year":"1988","unstructured":"Friedemann Mattern . 1988 . Virtual Time and Global States of Distributed Systems. In Workshop on Parallel and Distributed Algorithms . 215\u2013226 . Friedemann Mattern. 1988. Virtual Time and Global States of Distributed Systems. In Workshop on Parallel and Distributed Algorithms . 215\u2013226."},{"key":"e_1_2_2_61_1","doi-asserted-by":"crossref","unstructured":"Madanlal Musuvathi and Shaz Qadeer. 2007. Iterative Context Bounding for Systematic Testing of Multithreaded Programs. In PLDI. 446\u2013455.  Madanlal Musuvathi and Shaz Qadeer. 2007. Iterative Context Bounding for Systematic Testing of Multithreaded Programs. In PLDI. 446\u2013455.","DOI":"10.1145\/1273442.1250785"},{"key":"e_1_2_2_62_1","doi-asserted-by":"crossref","unstructured":"Mayur Naik and Alex Aiken. 2007. Conditional Must Not Aliasing for Static Race Detection. In POPL. 327\u2013338.  Mayur Naik and Alex Aiken. 2007. Conditional Must Not Aliasing for Static Race Detection. In POPL. 327\u2013338.","DOI":"10.1145\/1190215.1190265"},{"key":"e_1_2_2_63_1","doi-asserted-by":"crossref","unstructured":"Mayur Naik Alex Aiken and John Whaley. 2006. Effective Static Race Detection for Java. In PLDI. 308\u2013319.  Mayur Naik Alex Aiken and John Whaley. 2006. Effective Static Race Detection for Java. In PLDI. 308\u2013319.","DOI":"10.1145\/1133255.1134018"},{"key":"e_1_2_2_64_1","doi-asserted-by":"crossref","unstructured":"Satish Narayanasamy Zhenghao Wang Jordan Tigani Andrew Edwards and Brad Calder. 2007. Automatically Classifying Benign and Harmful Data Races Using Replay Analysis. In PLDI. 22\u201331.  Satish Narayanasamy Zhenghao Wang Jordan Tigani Andrew Edwards and Brad Calder. 2007. Automatically Classifying Benign and Harmful Data Races Using Replay Analysis. In PLDI. 22\u201331.","DOI":"10.1145\/1273442.1250738"},{"key":"e_1_2_2_65_1","unstructured":"Hiroyasu Nishiyama. 2004. Detecting Data Races using Dynamic Escape Analysis based on Read Barrier. In VMRT. 127\u2013138.  Hiroyasu Nishiyama. 2004. Detecting Data Races using Dynamic Escape Analysis based on Read Barrier. In VMRT. 127\u2013138."},{"key":"e_1_2_2_66_1","doi-asserted-by":"crossref","unstructured":"Robert O\u2019Callahan and Jong-Deok Choi. 2003. Hybrid Dynamic Data Race Detection. In PPoPP. 167\u2013178.  Robert O\u2019Callahan and Jong-Deok Choi. 2003. Hybrid Dynamic Data Race Detection. In PPoPP. 167\u2013178.","DOI":"10.1145\/966049.781528"},{"key":"e_1_2_2_67_1","unstructured":"Jessica Ouyang Peter M. Chen Jason Flinn and Satish Narayanasamy. 2013. ...and region serializability for all. In HotPar.  Jessica Ouyang Peter M. Chen Jason Flinn and Satish Narayanasamy. 2013. ...and region serializability for all. In HotPar."},{"key":"e_1_2_2_68_1","volume-title":"Sound and Effectively Complete Dynamic Race Detection. arXiv","author":"Pavlogiannis Andreas","year":"1901","unstructured":"Andreas Pavlogiannis . 2019. Fast , Sound and Effectively Complete Dynamic Race Detection. arXiv : 1901 .08857 http: \/\/arxiv.org\/abs\/1901.08857 Andreas Pavlogiannis. 2019. Fast, Sound and Effectively Complete Dynamic Race Detection. arXiv: 1901.08857 http: \/\/arxiv.org\/abs\/1901.08857"},{"key":"e_1_2_2_69_1","unstructured":"PCWorld. 2012. Nasdaq\u2019s Facebook Glitch Came From Race Conditions. http:\/\/www.pcworld.com\/article\/255911\/nasdaqs_ facebook_glitch_came_from_race_conditions.html .  PCWorld. 2012. Nasdaq\u2019s Facebook Glitch Came From Race Conditions. http:\/\/www.pcworld.com\/article\/255911\/nasdaqs_ facebook_glitch_came_from_race_conditions.html ."},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3123946"},{"key":"e_1_2_2_71_1","first-page":"327","article-title":"MultiRace: Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs","volume":"19","author":"Pozniansky Eli","year":"2007","unstructured":"Eli Pozniansky and Assaf Schuster . 2007 . MultiRace: Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs . CCPE 19 , 3 (2007), 327 \u2013 340 . Eli Pozniansky and Assaf Schuster. 2007. MultiRace: Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs. CCPE 19, 3 (2007), 327\u2013340.","journal-title":"CCPE"},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134019"},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291893"},{"key":"e_1_2_2_74_1","volume-title":"Bond","author":"Roemer Jake","year":"2019","unstructured":"Jake Roemer and Michael D . Bond . 2019 . Online Set-Based Dynamic Analysis for Sound Predictive Race Detection. CoRR abs\/1907.08337 (2019). arXiv: 1907.08337 http:\/\/arxiv.org\/abs\/1907.08337 Jake Roemer and Michael D. Bond. 2019. Online Set-Based Dynamic Analysis for Sound Predictive Race Detection. CoRR abs\/1907.08337 (2019). arXiv: 1907.08337 http:\/\/arxiv.org\/abs\/1907.08337"},{"key":"e_1_2_2_75_1","volume-title":"Bond","author":"Roemer Jake","year":"2019","unstructured":"Jake Roemer , Kaan Gen\u00e7 , and Michael D . Bond . 2019 . Practical Predictive Race Detection. CoRR abs\/1905.00494 (2019). arXiv: 1905.00494 http:\/\/arxiv.org\/abs\/1905.00494 Jake Roemer, Kaan Gen\u00e7, and Michael D. Bond. 2019. Practical Predictive Race Detection. CoRR abs\/1905.00494 (2019). arXiv: 1905.00494 http:\/\/arxiv.org\/abs\/1905.00494"},{"key":"e_1_2_2_76_1","volume-title":"Bond","author":"Roemer Jake","year":"2018","unstructured":"Jake Roemer , Kaan Gen\u00e7 , and Michael D . Bond . 2018 . High-Coverage, Unbounded Sound Predictive Race Detection. In PLDI. 374\u2013389. Jake Roemer, Kaan Gen\u00e7, and Michael D. Bond. 2018. High-Coverage, Unbounded Sound Predictive Race Detection. In PLDI. 374\u2013389."},{"key":"e_1_2_2_77_1","doi-asserted-by":"crossref","unstructured":"Mahmoud Said Chao Wang Zijiang Yang and Karem Sakallah. 2011. Generating Data Race Witnesses by an SMT-based Analysis. In NFM. 313\u2013327.  Mahmoud Said Chao Wang Zijiang Yang and Karem Sakallah. 2011. Generating Data Race Witnesses by an SMT-based Analysis. In NFM. 313\u2013327.","DOI":"10.1007\/978-3-642-20398-5_23"},{"key":"e_1_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266641"},{"key":"e_1_2_2_79_1","volume-title":"Abdelrahman","author":"Segulja Cedomir","year":"2015","unstructured":"Cedomir Segulja and Tarek S . Abdelrahman . 2015 . Clean : A Race Detector with Cleaner Semantics. In ISCA. 401\u2013413. Cedomir Segulja and Tarek S. Abdelrahman. 2015. Clean: A Race Detector with Cleaner Semantics. In ISCA. 401\u2013413."},{"key":"e_1_2_2_80_1","doi-asserted-by":"crossref","unstructured":"Koushik Sen. 2008. Race Directed Random Testing of Concurrent Programs. In PLDI. 11\u201321.  Koushik Sen. 2008. Race Directed Random Testing of Concurrent Programs. In PLDI. 11\u201321.","DOI":"10.1145\/1379022.1375584"},{"key":"e_1_2_2_81_1","doi-asserted-by":"crossref","unstructured":"Aritra Sengupta Swarnendu Biswas Minjia Zhang Michael D. Bond and Milind Kulkarni. 2015. Hybrid Static\u2013Dynamic Analysis for Statically Bounded Region Serializability. In ASPLOS. 561\u2013575.  Aritra Sengupta Swarnendu Biswas Minjia Zhang Michael D. Bond and Milind Kulkarni. 2015. Hybrid Static\u2013Dynamic Analysis for Statically Bounded Region Serializability. In ASPLOS. 561\u2013575.","DOI":"10.1145\/2775054.2694379"},{"key":"e_1_2_2_82_1","doi-asserted-by":"crossref","unstructured":"Traian Florin \u015eerb\u0103nu\u0163\u0103 Feng Chen and Grigore Ro\u015fu. 2013. Maximal Causal Models for Sequentially Consistent Systems. In RV. 136\u2013150.  Traian Florin \u015eerb\u0103nu\u0163\u0103 Feng Chen and Grigore Ro\u015fu. 2013. Maximal Causal Models for Sequentially Consistent Systems. In RV. 136\u2013150.","DOI":"10.1007\/978-3-642-35632-2_16"},{"key":"e_1_2_2_83_1","doi-asserted-by":"crossref","unstructured":"Konstantin Serebryany and Timur Iskhodzhanov. 2009. ThreadSanitizer \u2013 data race detection in practice. In WBIA. 62\u201371.  Konstantin Serebryany and Timur Iskhodzhanov. 2009. ThreadSanitizer \u2013 data race detection in practice. In WBIA. 62\u201371.","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_2_2_84_1","doi-asserted-by":"crossref","unstructured":"Konstantin Serebryany Alexander Potapenko Timur Iskhodzhanov and Dmitriy Vyukov. 2012. Dynamic Race Detection with LLVM Compiler. In RV. 110\u2013114.  Konstantin Serebryany Alexander Potapenko Timur Iskhodzhanov and Dmitriy Vyukov. 2012. Dynamic Race Detection with LLVM Compiler. In RV. 110\u2013114.","DOI":"10.1007\/978-3-642-29860-8_9"},{"key":"e_1_2_2_85_1","doi-asserted-by":"crossref","unstructured":"Jaroslav \u0160ev\u010d\u00edk and David Aspinall. 2008. On Validity of Program Transformations in the Java Memory Model. In ECOOP. 27\u201351.  Jaroslav \u0160ev\u010d\u00edk and David Aspinall. 2008. On Validity of Program Transformations in the Java Memory Model. In ECOOP. 27\u201351.","DOI":"10.1007\/978-3-540-70592-5_3"},{"key":"e_1_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985848"},{"key":"e_1_2_2_87_1","doi-asserted-by":"crossref","unstructured":"Abhayendra Singh Daniel Marino Satish Narayanasamy Todd Millstein and Madan Musuvathi. 2011. Efficient Processor Support for DRFx a Memory Model with Exceptions. In ASPLOS. 53\u201366.  Abhayendra Singh Daniel Marino Satish Narayanasamy Todd Millstein and Madan Musuvathi. 2011. Efficient Processor Support for DRFx a Memory Model with Exceptions. In ASPLOS. 53\u201366.","DOI":"10.1145\/1961296.1950375"},{"key":"e_1_2_2_88_1","doi-asserted-by":"crossref","unstructured":"Abhayendra Singh Satish Narayanasamy Daniel Marino Todd Millstein and Madanlal Musuvathi. 2012. End-to-End Sequential Consistency. In ISCA. 524\u2013535.  Abhayendra Singh Satish Narayanasamy Daniel Marino Todd Millstein and Madanlal Musuvathi. 2012. End-to-End Sequential Consistency. In ISCA. 524\u2013535.","DOI":"10.1145\/2366231.2337220"},{"key":"e_1_2_2_89_1","doi-asserted-by":"crossref","unstructured":"Yannis Smaragdakis Jacob Evans Caitlin Sadowski Jaeheon Yi and Cormac Flanagan. 2012. Sound Predictive Race Detection in Polynomial Time. In POPL. 387\u2013400.  Yannis Smaragdakis Jacob Evans Caitlin Sadowski Jaeheon Yi and Cormac Flanagan. 2012. Sound Predictive Race Detection in Polynomial Time. In POPL. 387\u2013400.","DOI":"10.1145\/2103621.2103702"},{"key":"e_1_2_2_90_1","doi-asserted-by":"crossref","unstructured":"Zehra Sura Xing Fang Chi-Leung Wong Samuel P. Midkiff Jaejin Lee and David Padua. 2005. Compiler Techniques for High Performance Sequentially Consistent Java Programs. In PPoPP. 2\u201313.  Zehra Sura Xing Fang Chi-Leung Wong Samuel P. Midkiff Jaejin Lee and David Padua. 2005. Compiler Techniques for High Performance Sequentially Consistent Java Programs. In PPoPP. 2\u201313.","DOI":"10.1145\/1065944.1065947"},{"key":"e_1_2_2_92_1","doi-asserted-by":"crossref","unstructured":"Kaushik Veeraraghavan Peter M. Chen Jason Flinn and Satish Narayanasamy. 2011. Detecting and Surviving Data Races using Complementary Schedules. In SOSP. 369\u2013384.  Kaushik Veeraraghavan Peter M. Chen Jason Flinn and Satish Narayanasamy. 2011. Detecting and Surviving Data Races using Complementary Schedules. In SOSP. 369\u2013384.","DOI":"10.1145\/2043556.2043590"},{"key":"e_1_2_2_93_1","volume-title":"Gross","author":"von Praun Christoph","year":"2001","unstructured":"Christoph von Praun and Thomas R . Gross . 2001 . Object Race Detection. In OOPSLA. 70\u201382. Christoph von Praun and Thomas R. Gross. 2001. Object Race Detection. In OOPSLA. 70\u201382."},{"key":"e_1_2_2_94_1","volume-title":"Gross","author":"von Praun Christoph","year":"2003","unstructured":"Christoph von Praun and Thomas R . Gross . 2003 . Static Conflict Analysis for Multi-Threaded Object-Oriented Programs. In PLDI . 115\u2013128. Christoph von Praun and Thomas R. Gross. 2003. Static Conflict Analysis for Multi-Threaded Object-Oriented Programs. In PLDI . 115\u2013128."},{"key":"e_1_2_2_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_2_2_96_1","doi-asserted-by":"crossref","unstructured":"Benjamin P. Wood Luis Ceze and Dan Grossman. 2014. Low-Level Detection of Language-Level Data Races with LARD. In ASPLOS . 671\u2013686.  Benjamin P. Wood Luis Ceze and Dan Grossman. 2014. Low-Level Detection of Language-Level Data Races with LARD. In ASPLOS . 671\u2013686.","DOI":"10.1145\/2644865.2541955"},{"key":"e_1_2_2_97_1","doi-asserted-by":"crossref","unstructured":"Yuan Yu Tom Rodeheffer and Wei Chen. 2005. RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking. In SOSP. 221\u2013234.  Yuan Yu Tom Rodeheffer and Wei Chen. 2005. RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking. In SOSP. 221\u2013234.","DOI":"10.1145\/1095809.1095832"},{"key":"e_1_2_2_98_1","doi-asserted-by":"crossref","unstructured":"Tong Zhang Changhee Jung and Dongyoon Lee. 2017. ProRace: Practical Data Race Detection for Production Use. In ASPLOS . 149\u2013162.  Tong Zhang Changhee Jung and Dongyoon Lee. 2017. ProRace: Practical Data Race Detection for Production Use. In ASPLOS . 149\u2013162.","DOI":"10.1145\/3093336.3037708"},{"key":"e_1_2_2_99_1","doi-asserted-by":"crossref","unstructured":"M. Zhivich and R. K. Cunningham. 2009. The Real Cost of Software Errors. IEEE Security &amp; Privacy 7 (03 2009) 87\u201390.  M. Zhivich and R. K. Cunningham. 2009. The Real Cost of Software Errors. IEEE Security &amp; Privacy 7 (03 2009) 87\u201390.","DOI":"10.1109\/MSP.2009.56"},{"key":"e_1_2_2_100_1","volume-title":"HARD: Hardware-Assisted Lockset-based Race Detection. In HPCA. 121\u2013132.","author":"Zhou Pin","year":"2007","unstructured":"Pin Zhou , Radu Teodorescu , and Yuanyuan Zhou . 2007 . HARD: Hardware-Assisted Lockset-based Race Detection. In HPCA. 121\u2013132. Pin Zhou, Radu Teodorescu, and Yuanyuan Zhou. 2007. HARD: Hardware-Assisted Lockset-based Race Detection. In HPCA. 121\u2013132."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3360605","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3360605","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3360605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:22:59Z","timestamp":1750202579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3360605"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,10]]},"references-count":99,"journal-issue":{"issue":"OOPSLA","published-print":{"date-parts":[[2019,10,10]]}},"alternative-id":["10.1145\/3360605"],"URL":"https:\/\/doi.org\/10.1145\/3360605","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,10]]},"assertion":[{"value":"2019-10-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}