{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:44:49Z","timestamp":1775054689058,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T00:00:00Z","timestamp":1129766400000},"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":[[2005,10,20]]},"DOI":"10.1145\/1095810.1095832","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"221-234","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":258,"title":["RaceTrack"],"prefix":"10.1145","author":[{"given":"Yuan","family":"Yu","sequence":"first","affiliation":[{"name":"Microsoft Research, Mountain View, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Rodeheffer","sequence":"additional","affiliation":[{"name":"Microsoft Research, Mountain View, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Chen","sequence":"additional","affiliation":[{"name":"Microsoft Research, Mountain View, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,10,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/115952.115976"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504287"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/283554.283370"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115324"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM)","author":"Christiaens M.","year":"2001","unstructured":"M. Christiaens and K. De Bosschere . TRaDe, a topological approach to on-the-fly race detection in Java programs . In Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM) , Apr. 2001 . M. Christiaens and K. De Bosschere. TRaDe, a topological approach to on-the-fly race detection in Java programs. In Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM), Apr. 2001."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/99163.99165"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122767"},{"key":"e_1_3_2_1_9_1","volume-title":"Standard ECMA-335: Common language infrastructure (CLI)","author":"International Ecma","year":"2002","unstructured":"Ecma International . Standard ECMA-335: Common language infrastructure (CLI) , 2002 . http:\/\/www.ecma-international.org\/publications\/standards\/Ecma335.htm. Ecma International. Standard ECMA-335: Common language infrastructure (CLI), 2002. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma335.htm."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_12_1","volume-title":"Compiling for the .NET Common Language Runtime","author":"Gough J.","year":"2001","unstructured":"J. Gough and K. Gough . Compiling for the .NET Common Language Runtime . Prentice Hall PTR , 2001 . J. Gough and K. Gough. Compiling for the .NET Common Language Runtime. Prentice Hall PTR, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672080"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996844"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_16_1","first-page":"105","volume-title":"Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI)","author":"MacCormick J.","year":"2004","unstructured":"J. MacCormick , N. Murphy , M. Najork , C. A. Thekkath , and L. Zhou . Boxwood: Abstractions as the foundation for storage infrastructure . In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI) , pages 105 -- 120 , Dec. 2004 . J. MacCormick, N. Murphy, M. Najork, C. A. Thekkath, and L. Zhou. Boxwood: Abstractions as the foundation for storage infrastructure. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI), pages 105--120, Dec. 2004."},{"key":"e_1_3_2_1_17_1","first-page":"215","volume-title":"Proc. Workshop on Parallel and Distributed Algorithms","author":"Mattern F.","year":"1989","unstructured":"F. Mattern . Virtual time and global states of distributed systems. In C. M. et al., editor , Proc. Workshop on Parallel and Distributed Algorithms , pages 215 -- 226 , North-Holland \/ Elsevier , 1989 . F. Mattern. Virtual time and global states of distributed systems. In C. M. et al., editor, Proc. Workshop on Parallel and Distributed Algorithms, pages 215--226, North-Holland \/ Elsevier, 1989."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"e_1_3_2_1_19_1","unstructured":"Microsoft Corporation. Basic class library communities. http:\/\/msdn.microsoft.com\/netframework\/programming\/classlibraries\/.  Microsoft Corporation. Basic class library communities. http:\/\/msdn.microsoft.com\/netframework\/programming\/classlibraries\/."},{"key":"e_1_3_2_1_20_1","volume-title":"Nov.","author":"Microsoft Corporation","year":"2002","unstructured":"Microsoft Corporation . Shared source common language infrastructure 1.0 release , Nov. 2002 . http:\/\/msdn.microsoft.com\/net\/sscli. Microsoft Corporation. Shared source common language infrastructure 1.0 release, Nov. 2002. http:\/\/msdn.microsoft.com\/net\/sscli."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1267242.1267252"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238760"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_29_1","volume-title":"Pattern Languages of Program Design 3","author":"Schmidt D. C.","year":"1997","unstructured":"D. C. Schmidt and T. Harrison . Double-checked locking: An optimization pattern for efficiently initializing and accessing thread-safe objects . In M. Buschmann and D. Riehle, editors, Pattern Languages of Program Design 3 . Addison-Wesley , Reading, MA , 1997 . D. C. Schmidt and T. Harrison. Double-checked locking: An optimization pattern for efficiently initializing and accessing thread-safe objects. In M. Buschmann and D. Riehle, editors, Pattern Languages of Program Design 3. Addison-Wesley, Reading, MA, 1997."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74844"},{"key":"e_1_3_2_1_31_1","volume-title":"Performance Evaluation Corporation. SPEC JBB2000","author":"Standard","year":"2000","unstructured":"Standard Performance Evaluation Corporation. SPEC JBB2000 . http:\/\/www.spec.org\/jbb 2000 \/. Standard Performance Evaluation Corporation. SPEC JBB2000. http:\/\/www.spec.org\/jbb2000\/."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of USENIX Winter Technical Conference","author":"Sterling N.","year":"1993","unstructured":"N. Sterling . Warlock : A static data race analysis tool . In Proceedings of USENIX Winter Technical Conference , January 1993 . N. Sterling. Warlock: A static data race analysis tool. In Proceedings of USENIX Winter Technical Conference, January 1993."},{"key":"e_1_3_2_1_33_1","volume-title":"Helgrind: a data-race detector","author":"Valgrind","year":"2005","unstructured":"Valgrind project. Helgrind: a data-race detector , 2005 . http:\/\/valgrind.org\/docs\/manual\/hg-manual.html. Valgrind project. Helgrind: a data-race detector, 2005. http:\/\/valgrind.org\/docs\/manual\/hg-manual.html."}],"event":{"name":"SOSP05: ACM SIGOPS 20th Symposium on Operating Systems Principles 2005","location":"Brighton United Kingdom","acronym":"SOSP05","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the twentieth ACM symposium on Operating systems principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1095810.1095832","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1095810.1095832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:27Z","timestamp":1750248507000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1095810.1095832"}},"subtitle":["efficient detection of data race conditions via adaptive tracking"],"short-title":[],"issued":{"date-parts":[[2005,10,20]]},"references-count":32,"alternative-id":["10.1145\/1095810.1095832","10.1145\/1095810"],"URL":"https:\/\/doi.org\/10.1145\/1095810.1095832","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1095809.1095832","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,10,20]]},"assertion":[{"value":"2005-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}