{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:27Z","timestamp":1772164047913,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,16]],"date-time":"2013-03-16T00:00:00Z","timestamp":1363392000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,3,16]]},"DOI":"10.1145\/2451116.2451120","type":"proceedings-article","created":{"date-parts":[[2013,3,19]],"date-time":"2013-03-19T09:34:53Z","timestamp":1363685693000},"page":"27-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Parallelizing data race detection"],"prefix":"10.1145","author":[{"given":"Benjamin","family":"Wester","sequence":"first","affiliation":[{"name":"Facebook, Menlo Park, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Devecsery","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter M.","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Flinn","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satish","family":"Narayanasamy","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,3,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1839676.1839697"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/115952.115976"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147416"},{"key":"e_1_3_2_1_4_1","unstructured":"H.-J. Boehm and S. V. Adve. Foundations of the C  H.-J. Boehm and S. V. Adve. Foundations of the C"},{"key":"e_1_3_2_1_5_1","first-page":"68","volume-title":"Proc. 2008 ACM Conference on Programming Language Design and Implementation","unstructured":"concurrency memory model. In Proc. 2008 ACM Conference on Programming Language Design and Implementation , pages 68 -- 78 . concurrency memory model. In Proc. 2008 ACM Conference on Programming Language Design and Implementation, pages 68--78."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076450.2076465"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806626"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181319"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115324"},{"key":"e_1_3_2_1_11_1","first-page":"279","volume-title":"Proc. 2008 Symposium on High Performance Computer Architecture","author":"Chung J.","unstructured":"J. Chung , M. Dalton , H. Kannan , and C. Kozyrakis . Thread-Safe Dynamic Binary Translation Using Transactional Memory . In Proc. 2008 Symposium on High Performance Computer Architecture , pages 279 -- 289 . J. Chung, M. Dalton, H. Kannan, and C. Kozyrakis. Thread-Safe Dynamic Binary Translation Using Transactional Memory. In Proc. 2008 Symposium on High Performance Computer Architecture, pages 279--289."},{"key":"e_1_3_2_1_12_1","first-page":"201","volume-title":"Proc. 2012 International Symposium on Computer Architecture","author":"Devietti J.","unstructured":"J. Devietti , B. P. Wood , K. Strauss , L. Ceze , D. Grossman , and S. Qadeer . RADISH: Always-on sound and complete race detection in software and hardware . In Proc. 2012 International Symposium on Computer Architecture , pages 201 -- 212 . J. Devietti, B. P. Wood, K. Strauss, L. Ceze, D. Grossman, and S. Qadeer. RADISH: Always-on sound and complete race detection in software and hardware. In Proc. 2012 International Symposium on Computer Architecture, pages 201--212."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250762"},{"key":"e_1_3_2_1_14_1","first-page":"151","volume-title":"Proc. 2010 Symposium on Operating Systems Design and Implementation","author":"Erickson J.","unstructured":"J. Erickson , M. Musuvathi , S. Burckhardt , and K. Olynyk . Effective data-race detection for the kernel . In Proc. 2010 Symposium on Operating Systems Design and Implementation , pages 151 -- 162 . J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk. Effective data-race detection for the kernel. In Proc. 2010 Symposium on Operating Systems Design and Implementation, pages 151--162."},{"issue":"1","key":"e_1_3_2_1_15_1","first-page":"56","article-title":"Timestamps in message-passing systems that preserve the partial ordering","volume":"10","author":"Fidge C. J.","year":"1988","unstructured":"C. J. Fidge . Timestamps in message-passing systems that preserve the partial ordering . Australian Computer Science Communications , 10 ( 1 ): 56 -- 66 , February 1988 . C. J. Fidge. Timestamps in message-passing systems that preserve the partial ordering. Australian Computer Science Communications, 10 (1): 56--66, February 1988.","journal-title":"Australian Computer Science Communications"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1999.1574"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.18"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815987"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. 1988 International Workshop on Parallel and Distributed Algorithms.","author":"Mattern F.","unstructured":"F. Mattern . Virtual time and global states of distributed systems . In Proc. 1988 International Workshop on Parallel and Distributed Algorithms. F. Mattern. Virtual time and global states of distributed systems. In Proc. 1988 International Workshop on Parallel and Distributed Algorithms."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555797"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1254810.1254820"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/174266.174268"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346321"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669180"},{"key":"e_1_3_2_1_32_1","volume-title":"SecurityFocus","author":"Poulsen K.","year":"2004","unstructured":"K. Poulsen . Tracking the blackout bug. Technical report , SecurityFocus , April 2004 . http:\/\/www.securityfocus.com\/news\/8412. K. Poulsen. Tracking the blackout bug. Technical report, SecurityFocus, April 2004. http:\/\/www.securityfocus.com\/news\/8412."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859632"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1504176.1504202"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806600"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378538"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181315"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_3"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772974"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043590"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950370"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736051"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2007.37"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/223982.223990"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168865"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346191"},{"key":"e_1_3_2_1_53_1","first-page":"85","volume-title":"Proc. 2002 International Symposium on Microarchitecture","author":"Zilles C.","unstructured":"C. Zilles and G. Sohi . Master\/slave speculative parallelization . In Proc. 2002 International Symposium on Microarchitecture , pages 85 -- 96 . C. Zilles and G. Sohi. Master\/slave speculative parallelization. In Proc. 2002 International Symposium on Microarchitecture, pages 85--96."}],"event":{"name":"ASPLOS '13: Architectural Support for Programming Languages and Operating Systems","location":"Houston Texas USA","acronym":"ASPLOS '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2451116.2451120","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2451116.2451120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:18:49Z","timestamp":1750220329000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2451116.2451120"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,16]]},"references-count":53,"alternative-id":["10.1145\/2451116.2451120","10.1145\/2451116"],"URL":"https:\/\/doi.org\/10.1145\/2451116.2451120","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2490301.2451120","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2499368.2451120","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,3,16]]},"assertion":[{"value":"2013-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}