{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:41:34Z","timestamp":1780994494161,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017,1]]},"DOI":"10.1145\/3009837.3009857","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T16:20:29Z","timestamp":1482423629000},"page":"443-457","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Dynamic race detection for C++11"],"prefix":"10.1145","author":[{"given":"Christopher","family":"Lidbury","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alastair F.","family":"Donaldson","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,1]]},"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.1007\/978-3-642-37036-6_28"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694391"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103717"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837637"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2003476.2003493"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2926697.2926700"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854051"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49122-5_20"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1839676.1839698"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806625"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_18_1","volume-title":"a fast data race detector for the Linux kernel, visited","year":"2016","unstructured":"Google. KernelThreadSanitizer , a fast data race detector for the Linux kernel, visited November 2016 . Google. KernelThreadSanitizer, a fast data race detector for the Linux kernel, visited November 2016."},{"key":"e_1_3_2_1_19_1","unstructured":"https:\/\/github.com\/google\/ ktsan.  https:\/\/github.com\/google\/ ktsan."},{"key":"e_1_3_2_1_20_1","volume-title":"International standard 9899:2011","author":"IEC.","year":"2011","unstructured":"ISO\/ IEC. Programming languages \u2013 C . International standard 9899:2011 , 2011 . ISO\/IEC. Programming languages \u2013 C. International standard 9899:2011, 2011."},{"key":"e_1_3_2_1_21_1","volume-title":"International standard 14882:2011","author":"IEC.","year":"2011","unstructured":"ISO\/ IEC. Programming languages \u2013 C++ . International standard 14882:2011 , 2011 . ISO\/IEC. Programming languages \u2013 C++. International standard 14882:2011, 2011."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1999.1574"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_16"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676724.2693571"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837643"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_27_1","volume-title":"Companion webiste for reproducibility of experiments","author":"Lidbury C.","year":"2017","unstructured":"C. Lidbury and A. F. Donaldson . Companion webiste for reproducibility of experiments , 2017 . http:\/\/multicore.doc.ic.ac. uk\/projects\/tsan11\/. C. Lidbury and A. F. Donaldson. Companion webiste for reproducibility of experiments, 2017. http:\/\/multicore.doc.ic.ac. uk\/projects\/tsan11\/."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009857"},{"key":"e_1_3_2_1_29_1","unstructured":"https:\/\/www.doc.ic.ac.uk\/ ~afd\/homepages\/papers\/pdfs\/2017\/POPLExtended.pdf.  https:\/\/www.doc.ic.ac.uk\/ ~afd\/homepages\/papers\/pdfs\/2017\/POPLExtended.pdf."},{"key":"e_1_3_2_1_30_1","first-page":"226","volume-title":"Proc. Workshop on Parallel and Distributed Algorithms","author":"Mattern F.","year":"1988","unstructured":"F. Mattern . Virtual time and global states of distributed systems . In Proc. Workshop on Parallel and Distributed Algorithms , pages 215\u2013 226 , 1988 . F. Mattern. Virtual time and global states of distributed systems. In Proc. Workshop on Parallel and Distributed Algorithms, pages 215\u2013 226, 1988."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491967"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983997"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509514"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2806886"},{"key":"e_1_3_2_1_35_1","volume-title":"Analyzing program performance with Sun Work-Shop","author":"Oracle Corporation","year":"1905","unstructured":"Oracle Corporation . Analyzing program performance with Sun Work-Shop , Chapter 5: Lock analysis tool. http:\/\/docs.oracle.com\/ cd\/E 1905 9-01\/wrkshp50\/805-4947\/6j4m8jrnd\/index.html, 2010. Oracle Corporation. Analyzing program performance with Sun Work-Shop, Chapter 5: Lock analysis tool. http:\/\/docs.oracle.com\/ cd\/E19059-01\/wrkshp50\/805-4947\/6j4m8jrnd\/index.html, 2010."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837616"},{"key":"e_1_3_2_1_37_1","volume-title":"Operational aspects of C\/C++ concurrency. CoRR, abs\/1606.01400","author":"Podkopaev A.","year":"2016","unstructured":"A. Podkopaev , I. Sergey , and A. Nanevski . Operational aspects of C\/C++ concurrency. CoRR, abs\/1606.01400 , 2016 . A. Podkopaev, I. Sergey, and A. Nanevski. Operational aspects of C\/C++ concurrency. CoRR, abs\/1606.01400, 2016."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_30"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v19:3"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134019"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048119"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254102"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908114"},{"key":"e_1_3_2_1_47_1","first-page":"106","volume-title":"USENIX Winter","author":"Sterling N.","year":"1993","unstructured":"N. Sterling . WARLOCK - A static data race analysis tool . In USENIX Winter , pages 97\u2013 106 , 1993 . N. Sterling. WARLOCK - A static data race analysis tool. In USENIX Winter, pages 97\u2013106, 1993."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676995"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2487241.2487248"},{"key":"e_1_3_2_1_51_1","volume-title":"Relacy race detector, visited","author":"Vyukov D.","year":"2016","unstructured":"D. Vyukov . Relacy race detector, visited November 2016 . http:\/\/www.1024cores.net\/home\/relacy-race-detector. D. Vyukov. Relacy race detector, visited November 2016. http:\/\/www.1024cores.net\/home\/relacy-race-detector."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737956"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Paris France","acronym":"POPL '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009857","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:36:21Z","timestamp":1750203381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009857"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":51,"alternative-id":["10.1145\/3009837.3009857","10.1145\/3009837"],"URL":"https:\/\/doi.org\/10.1145\/3009837.3009857","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093333.3009857","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}