{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:32:55Z","timestamp":1752982375909,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,16]],"date-time":"2017-01-16T00:00:00Z","timestamp":1484524800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1,16]]},"DOI":"10.1145\/3018610.3018611","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T21:20:29Z","timestamp":1482441629000},"page":"151-163","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Verifying dynamic race detection"],"prefix":"10.1145","author":[{"given":"William","family":"Mansky","sequence":"first","affiliation":[{"name":"Princeton University, USA"}]},{"given":"Yuanfeng","family":"Peng","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Steve","family":"Zdancewic","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Joseph","family":"Devietti","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,1,16]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/1375581.1375591"},{"key":"e_1_3_2_1_2_1","first-page":"770","volume-title":"TRaDe: Data Race Detection for Java. ICCS \u201901","author":"Christiaens M.","year":"2001","unstructured":"M. Christiaens and K. D. Bosschere . TRaDe: Data Race Detection for Java. ICCS \u201901 , pages 761\u2013 770 , London, UK , UK, 2001 . Springer-Verlag . M. Christiaens and K. D. Bosschere. TRaDe: Data Race Detection for Java. ICCS \u201901, pages 761\u2013770, London, UK, UK, 2001. Springer-Verlag."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/1250734.1250762"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/2.84874"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1542476.1542490"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1006\/jpdc.1999.1574"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/359545.359563"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/s10817-009-9155-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/s10817-008-9099-0"},{"key":"e_1_3_2_1_10_1","first-page":"428","volume-title":"An Axiomatic Specification for Sequential Memory Models. CAV \u201915","author":"Mansky W.","year":"2015","unstructured":"W. Mansky , D. Garbuzov , and S. Zdancewic . An Axiomatic Specification for Sequential Memory Models. CAV \u201915 , pages 413\u2013 428 , 2015 . W. Mansky, D. Garbuzov, and S. Zdancewic. An Axiomatic Specification for Sequential Memory Models. CAV \u201915, pages 413\u2013428, 2015."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_1_12_1","first-page":"226","volume-title":"Parallel and Distributed Algorithms","author":"Mattern F.","year":"1989","unstructured":"F. Mattern . Virtual time and global states of distributed systems . Parallel and Distributed Algorithms , pages 215\u2013 226 , 1989 . F. Mattern. Virtual time and global states of distributed systems. Parallel and Distributed Algorithms, pages 215\u2013226, 1989."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/2254064.2254111"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1542476.1542504"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_16_1","volume-title":"Workshop on Mechanizing Metatheory \u201908","author":"Sadowski C.","year":"2008","unstructured":"C. Sadowski , J. Yi , K. Knowles , and C. Flanagan . Proving correctness of a dynamic atomicity analysis in Coq . Workshop on Mechanizing Metatheory \u201908 , 2008 . C. Sadowski, J. Yi, K. Knowles, and C. Flanagan. Proving correctness of a dynamic atomicity analysis in Coq. Workshop on Mechanizing Metatheory \u201908, 2008."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_18_1","volume-title":"The Coq Proof Assistant Reference Manual (Version 8.5)","author":"Development Team The Coq","year":"2016","unstructured":"The Coq Development Team . The Coq Proof Assistant Reference Manual (Version 8.5) , 2016 . The Coq Development Team. The Coq Proof Assistant Reference Manual (Version 8.5), 2016."},{"key":"e_1_3_2_1_19_1","volume-title":"Array Shadow State Compression for Precise Dynamic Race Detection. ASE \u201915","author":"Wilcox J.","year":"2015","unstructured":"J. Wilcox , P. Finch , C. Flanagan , and S. N. Freund . Array Shadow State Compression for Precise Dynamic Race Detection. ASE \u201915 , 2015 . J. Wilcox, P. Finch, C. Flanagan, and S. N. Freund. Array Shadow State Compression for Precise Dynamic Race Detection. ASE \u201915, 2015."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/2103656.2103709"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation"],"acronym":"CPP '17","name":"CPP '17: Certified Proofs and Programs","location":"Paris France"},"container-title":["Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018610.3018611","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3018610.3018611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:58Z","timestamp":1750220638000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018610.3018611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,16]]},"references-count":20,"alternative-id":["10.1145\/3018610.3018611","10.1145\/3018610"],"URL":"https:\/\/doi.org\/10.1145\/3018610.3018611","relation":{},"subject":[],"published":{"date-parts":[[2017,1,16]]},"assertion":[{"value":"2017-01-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}