{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:13Z","timestamp":1772164093341,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":92,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"US National Science Foundation","award":["CAREER-1253703, CCF-1421612, XPS-1629126"],"award-info":[{"award-number":["CAREER-1253703, CCF-1421612, XPS-1629126"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192385","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"374-389","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["High-coverage, unbounded sound predictive race detection"],"prefix":"10.1145","author":[{"given":"Jake","family":"Roemer","sequence":"first","affiliation":[{"name":"Ohio State University, USA"}]},{"given":"Kaan","family":"Gen\u00e7","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":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119480"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1787234.1787255"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669131"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033020"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814292"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_2_8_1","first-page":"9","volume-title":"HotPar","author":"Bocchino R. L.","year":"2009","unstructured":"R. L. Bocchino , Jr., V. S. Adve , S. V. Adve , and M. Snir . Parallel Programming Must Be Deterministic by Default . In HotPar , pages 4\u2013 9 , 2009 . R. L. Bocchino, Jr., V. S. Adve, S. V. Adve, and M. Snir. Parallel Programming Must Be Deterministic by Default. In HotPar, pages 4\u20139, 2009."},{"key":"e_1_3_2_2_9_1","volume-title":"\u201cbenign","author":"Boehm H.-J.","year":"2011","unstructured":"H.-J. Boehm . How to miscompile programs with \u201cbenign \u201d data races. In HotPar , 2011 . H.-J. Boehm. How to miscompile programs with \u201cbenign\u201d data races. In HotPar, 2011."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2414729.2414732"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375591"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076450.2076465"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2618128.2618134"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806626"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001436"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786839"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2926697.2926700"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368119"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2366231.2337182"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122767"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384650"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250762"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_2_27_1","first-page":"16","volume-title":"OSDI","author":"Erickson J.","year":"2010","unstructured":"J. Erickson , M. Musuvathi , S. Burckhardt , and K. Olynyk . Effective Data-Race Detection for the Kernel . In OSDI , pages 1\u2013 16 , 2010 . J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk. Effective Data-Race Detection for the Kernel. In OSDI, pages 1\u201316, 2010."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555263"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.03.006"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806625"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806674"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_11"},{"key":"e_1_3_2_2_34_1","volume-title":"The FastTrack2 Race Detector. Technical report","author":"Flanagan C.","year":"2017","unstructured":"C. Flanagan and S. N. Freund . The FastTrack2 Race Detector. Technical report , Williams College , 2017 . C. Flanagan and S. N. Freund. The FastTrack2 Race Detector. Technical report, Williams College, 2017."},{"key":"e_1_3_2_2_35_1","first-page":"2","article-title":"Concurrency at Microsoft \u2013 An Exploratory Survey","author":"Godefroid P.","year":"2008","unstructured":"P. Godefroid and N. Nagappan . Concurrency at Microsoft \u2013 An Exploratory Survey . In EC 2 , 2008 . P. Godefroid and N. Nagappan. Concurrency at Microsoft \u2013 An Exploratory Survey. In EC 2, 2008.","journal-title":"EC"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996844"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737975"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594315"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984024"},{"key":"e_1_3_2_2_40_1","first-page":"22","volume-title":"ECOOP","author":"Huang S.","year":"2017","unstructured":"S. Huang and J. Huang . Speeding Up Maximal Causality Reduction with Static Dependency Analysis . In ECOOP , pages 16:1\u201316: 22 , 2017 . S. Huang and J. Huang. Speeding Up Maximal Causality Reduction with Static Dependency Analysis. In ECOOP, pages 16:1\u201316:22, 2017."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522736"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2734118"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062374"},{"key":"e_1_3_2_2_45_1","unstructured":"D. Kini U. Mathur and M. Viswanathan 2018. Personal communication.  D. Kini U. Mathur and M. Viswanathan 2018. Personal communication."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254119"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/553607"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931046"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815987"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-018-2307-8"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806636"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993522"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663171.2663188"},{"key":"e_1_3_2_2_58_1","first-page":"226","volume-title":"Virtual Time and Global States of Distributed Systems. In Workshop on Parallel and Distributed Algorithms","author":"Mattern F.","year":"1988","unstructured":"F. Mattern . Virtual Time and Global States of Distributed Systems. In Workshop on Parallel and Distributed Algorithms , pages 215\u2013 226 , 1988 . F. Mattern. Virtual Time and Global States of Distributed Systems. In Workshop on Parallel and Distributed Algorithms, pages 215\u2013226, 1988."},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190265"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_2_63_1","first-page":"138","volume-title":"VMRT","author":"Nishiyama H.","year":"2004","unstructured":"H. Nishiyama . Detecting Data Races using Dynamic Escape Analysis based on Read Barrier . In VMRT , pages 127\u2013 138 , 2004 . H. Nishiyama. Detecting Data Races using Dynamic Escape Analysis based on Read Barrier. In VMRT, pages 127\u2013138, 2004."},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_2_65_1","volume-title":"HotPar","author":"Ouyang J.","year":"2013","unstructured":"J. Ouyang , P. M. Chen , J. Flinn , and S. Narayanasamy . ... and region serializability for all . In HotPar , 2013 . J. Ouyang, P. M. Chen, J. Flinn, and S. Narayanasamy. ...and region serializability for all. In HotPar, 2013."},{"key":"e_1_3_2_2_66_1","volume-title":"Nasdaq\u2019s Facebook Glitch Came From Race Conditions","year":"2012","unstructured":"PCWorld. Nasdaq\u2019s Facebook Glitch Came From Race Conditions , 2012 . http:\/\/www.pcworld.com\/article\/255911\/nasdaqs_facebook_ glitch_came_from_race_conditions.html . PCWorld. Nasdaq\u2019s Facebook Glitch Came From Race Conditions, 2012. http:\/\/www.pcworld.com\/article\/255911\/nasdaqs_facebook_ glitch_came_from_race_conditions.html ."},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3123946"},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v19:3"},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134019"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062350"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291893"},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.5555\/1986308.1986334"},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750395"},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694379"},{"key":"e_1_3_2_2_78_1","first-page":"150","volume-title":"RV","author":"\u015eerb\u0103nu\u0163\u0103 T. F.","year":"2013","unstructured":"T. F. \u015eerb\u0103nu\u0163\u0103 , F. Chen , and G. Ro\u015fu . Maximal Causal Models for Sequentially Consistent Systems . In RV , pages 136\u2013 150 , 2013 . T. F. \u015eerb\u0103nu\u0163\u0103, F. Chen, and G. Ro\u015fu. Maximal Causal Models for Sequentially Consistent Systems. In RV, pages 136\u2013150, 2013."},{"key":"e_1_3_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_9"},{"key":"e_1_3_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_3"},{"key":"e_1_3_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985848"},{"key":"e_1_3_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950375"},{"key":"e_1_3_2_2_84_1","first-page":"535","volume-title":"ISCA","author":"Singh A.","year":"2012","unstructured":"A. Singh , S. Narayanasamy , D. Marino , T. Millstein , and M. Musuvathi . End-to-End Sequential Consistency . In ISCA , pages 524\u2013 535 , 2012 . A. Singh, S. Narayanasamy, D. Marino, T. Millstein, and M. Musuvathi. End-to-End Sequential Consistency. In ISCA, pages 524\u2013535, 2012."},{"key":"e_1_3_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103702"},{"key":"e_1_3_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065947"},{"key":"e_1_3_2_2_87_1","volume-title":"Department of Energy","author":"S.","year":"2004","unstructured":"U. S. \u2013Canada Power System Outage Task Force. Final Report on the August 14th Blackout in the United States and Canada. Technical report , Department of Energy , 2004 . U.S.\u2013Canada Power System Outage Task Force. Final Report on the August 14th Blackout in the United States and Canada. Technical report, Department of Energy, 2004."},{"key":"e_1_3_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043590"},{"key":"e_1_3_2_2_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_3_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781145"},{"key":"e_1_3_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541955"},{"key":"e_1_3_2_2_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037708"},{"key":"e_1_3_2_2_94_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346191"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192385","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192385","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":92,"alternative-id":["10.1145\/3192366.3192385","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192385","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192385","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}