{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:25:13Z","timestamp":1759335913156,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T00:00:00Z","timestamp":1153094400000},"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":[[2006,7,17]]},"DOI":"10.1145\/1147403.1147416","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"69-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["A theory of data race detection"],"prefix":"10.1145","author":[{"given":"Utpal","family":"Banerjee","sequence":"first","affiliation":[{"name":"Intel Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Bliss","sequence":"additional","affiliation":[{"name":"Intel Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiang","family":"Ma","sequence":"additional","affiliation":[{"name":"Intel Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Petersen","sequence":"additional","affiliation":[{"name":"Intel Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The First Workshop on Software Tools for Multi-core Systems (STMCS), in conjunction with IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","author":"Banerjee U.","year":"2006","unstructured":"U. Banerjee , B. Bliss , Z. Ma , and P. Petersen . Unraveling Data Race Detection in the Intel\u00ae Thread Checker . Presented at The First Workshop on Software Tools for Multi-core Systems (STMCS), in conjunction with IEEE\/ACM International Symposium on Code Generation and Optimization (CGO) , March 26, 2006 , Manhattan, New York, NY. U. Banerjee, B. Bliss, Z. Ma, and P. Petersen. Unraveling Data Race Detection in the Intel\u00ae Thread Checker. Presented at The First Workshop on Software Tools for Multi-core Systems (STMCS), in conjunction with IEEE\/ACM International Symposium on Code Generation and Optimization (CGO), March 26, 2006, Manhattan, New York, NY."},{"key":"e_1_3_2_1_2_1","first-page":"56","volume-title":"Proceedings of the 11th Australian Computer Science Conference (ACSC'88)","author":"Fidge C. J.","year":"1988","unstructured":"C. J. Fidge . Timestamps in Message-Passing Systems that Preserve the Partial Ordering . Proceedings of the 11th Australian Computer Science Conference (ACSC'88) , K. Raymond (Editor ), February 1988 , pp. 56 -- 66 . C. J. Fidge. Timestamps in Message-Passing Systems that Preserve the Partial Ordering. Proceedings of the 11th Australian Computer Science Conference (ACSC'88), K. Raymond (Editor), February 1988, pp. 56--66."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1999.1574"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_5_1","first-page":"215","volume-title":"Proceedings of the International Workshop on Parallel and Distributed Algorithms, Elsevier Science Publishers, M. Corsnard et al. (Editors), Chateau de Bonas","author":"Mattern F.","year":"1988","unstructured":"F. Mattern . Virtual Time and Global States of Distributed Systems . Proceedings of the International Workshop on Parallel and Distributed Algorithms, Elsevier Science Publishers, M. Corsnard et al. (Editors), Chateau de Bonas , France , October 1988 , pp. 215 -- 226 . F. Mattern. Virtual Time and Global States of Distributed Systems. Proceedings of the International Workshop on Parallel and Distributed Algorithms, Elsevier Science Publishers, M. Corsnard et al. (Editors), Chateau de Bonas, France, October 1988, pp. 215--226."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065958"}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Portland Maine USA","acronym":"ISSTA06"},"container-title":["Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1147403.1147416","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1147403.1147416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:12Z","timestamp":1750259172000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1147403.1147416"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,17]]},"references-count":10,"alternative-id":["10.1145\/1147403.1147416","10.1145\/1147403"],"URL":"https:\/\/doi.org\/10.1145\/1147403.1147416","relation":{},"subject":[],"published":{"date-parts":[[2006,7,17]]},"assertion":[{"value":"2006-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}