{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:20Z","timestamp":1772164100826,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["XPS-1337174"],"award-info":[{"award-number":["XPS-1337174"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192368","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"390-403","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["CURD: a dynamic CUDA race detector"],"prefix":"10.1145","author":[{"given":"Yuanfeng","family":"Peng","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Vinod","family":"Grover","sequence":"additional","affiliation":[{"name":"NVIDIA, USA"}]},{"given":"Joseph","family":"Devietti","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_15"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06200-6_18"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007912.1007933"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384625"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2743017"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806626"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"e_1_3_2_2_8_1","volume-title":"Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding","author":"Chiang Wei-Fan","unstructured":"Wei-Fan Chiang , Ganesh Gopalakrishnan , Guodong Li , and Zvonimir Rakamari\u0107 . 2013. Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding . Springer Berlin Heidelberg , Berlin, Heidelberg , 213\u2013228. Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, and Zvonimir Rakamari\u0107. 2013. Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding. Springer Berlin Heidelberg, Berlin, Heidelberg, 213\u2013228."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509517"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535882"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34188-5_18"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_16"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755573.2755601"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122767"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384650"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062342"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250762"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/258492.258493"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2007.12"},{"key":"e_1_3_2_2_21_1","volume-title":"Proceedings of the 4th Workshop on Determinism and Correctness in Parallel Programming (WODET \u201913)","author":"Ji Weixing","unstructured":"Weixing Ji , Li Lu , and Michael L. Scott . 2013. TARDIS: Task-level Access Race Detection by Intersecting Sets . In Proceedings of the 4th Workshop on Determinism and Correctness in Parallel Programming (WODET \u201913) . Weixing Ji, Li Lu, and Michael L. Scott. 2013. TARDIS: Task-level Access Race Detection by Intersecting Sets. In Proceedings of the 4th Workshop on Determinism and Correctness in Parallel Programming (WODET \u201913)."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2014.48"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254110"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145844"},{"key":"e_1_3_2_2_26_1","volume-title":"Proceedings of the 5th Workshop on Determinism and Correctness in Parallel Programming (WODET \u201914)","author":"Li Pengcheng","year":"2014","unstructured":"Pengcheng Li , Chen Ding , Xiaoyu Hu , and Tolga Soyata . 2014 . LDetector: A Low Overhead Race Detector For GPU Programs . In Proceedings of the 5th Workshop on Determinism and Correctness in Parallel Programming (WODET \u201914) . Pengcheng Li, Chen Ding, Xiaoyu Hu, and Tolga Soyata. 2014. LDetector: A Low Overhead Race Detector For GPU Programs. In Proceedings of the 5th Workshop on Determinism and Correctness in Parallel Programming (WODET \u201914)."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009857"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815992"},{"key":"e_1_3_2_2_30_1","volume-title":"Automated Dynamic Analysis of CUDA Programs. In Workshop on Software Tools for MultiCore Systems.","author":"Boyer Michael","year":"2008","unstructured":"Michael Boyer , Kevin Skadron , and Westley Weimer . 2008 . Automated Dynamic Analysis of CUDA Programs. In Workshop on Software Tools for MultiCore Systems. Michael Boyer, Kevin Skadron, and Westley Weimer. 2008. Automated Dynamic Analysis of CUDA Programs. In Workshop on Software Tools for MultiCore Systems."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555797"},{"key":"e_1_3_2_2_32_1","unstructured":"Nvidia. {n. d.}. Nvidia Tesla V100 GPU Architecture. http:\/\/images.nvidia.com\/content\/volta-architecture\/pdf\/ volta-architecture-whitepaper.pdf  Nvidia. {n. d.}. Nvidia Tesla V100 GPU Architecture. http:\/\/images.nvidia.com\/content\/volta-architecture\/pdf\/ volta-architecture-whitepaper.pdf"},{"key":"e_1_3_2_2_33_1","unstructured":"Nvidia. 2016. Racecheck Tool. http:\/\/docs.nvidia.com\/cuda\/ cuda-memcheck\/index.html#racecheck-tool  Nvidia. 2016. Racecheck Tool. http:\/\/docs.nvidia.com\/cuda\/ cuda-memcheck\/index.html#racecheck-tool"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254127"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_2_38_1","volume-title":"Nasser Anssari, Geng Daniel Liu, and Wen mei W. Hwu.","author":"Stratton John A.","year":"2012","unstructured":"John A. Stratton , Christopher Rodrigues , I- Jui Sung , Nady Obeid , vLi Wen Chang , Nasser Anssari, Geng Daniel Liu, and Wen mei W. Hwu. 2012 . Parboil : A Revised Benchmark Suite for Scientific and Commercial Throughput Computing. Technical Report IMPACT-12-01. University of Illinois at Urbana-Champaign. http:\/\/impact.crhc.illinois.edu\/Shared\/ Docs\/ impact-12-01.parboil.pdf John A. Stratton, Christopher Rodrigues, I-Jui Sung, Nady Obeid, vLi Wen Chang, Nasser Anssari, Geng Daniel Liu, and Wen mei W. Hwu. 2012. Parboil: A Revised Benchmark Suite for Scientific and Commercial Throughput Computing. Technical Report IMPACT-12-01. University of Illinois at Urbana-Champaign. http:\/\/impact.crhc.illinois.edu\/Shared\/ Docs\/impact-12-01.parboil.pdf"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851141.2851145"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941574"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.44"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192368","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192368","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:52Z","timestamp":1750198072000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192368"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":42,"alternative-id":["10.1145\/3192366.3192368","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192368","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192368","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}