{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:18Z","timestamp":1750309338221,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T00:00:00Z","timestamp":1723420800000},"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":[[2024,8,12]]},"DOI":"10.1145\/3677333.3678148","type":"proceedings-article","created":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T16:21:29Z","timestamp":1723220489000},"page":"15-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Rewriting of DataRaceBench Benchmark for OpenCL Program Validations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-2281-888X","authenticated-orcid":false,"given":"Chia-Chen","family":"Hsu","sequence":"first","affiliation":[{"name":"Department of Computer Science, National Tsing Hua University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9281-3083","authenticated-orcid":false,"given":"Chun-Lin","family":"Huang","sequence":"additional","affiliation":[{"name":"Department of Computer Science, National Tsing Hua University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4619-3843","authenticated-orcid":false,"given":"Chao-Lin","family":"Lee","sequence":"additional","affiliation":[{"name":"Department of Computer Science, National Tsing Hua University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9919-6258","authenticated-orcid":false,"given":"Jenq-Kuen","family":"Lee","sequence":"additional","affiliation":[{"name":"Department of Computer Science, National Tsing Hua University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4977-814X","authenticated-orcid":false,"given":"Pei-Hung","family":"Lin","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,8,12]]},"reference":[{"volume-title":"ARCHER: effectively spotting data races in large OpenMP applications. In 2016 IEEE international parallel and distributed processing symposium (IPDPS)","author":"Atzeni Simone","key":"e_1_3_2_1_1_1","unstructured":"Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong\u00a0H Ahn, Ignacio Laguna, Martin Schulz, Gregory\u00a0L Lee, Joachim Protze, and Matthias\u00a0S M\u00fcller. 2016. ARCHER: effectively spotting data races in large OpenMP applications. In 2016 IEEE international parallel and distributed processing symposium (IPDPS). IEEE, 53\u201362."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384625"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2017.10.004"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34188-5_18"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-014-0320-y"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11404-6_3"},{"key":"e_1_3_2_1_7_1","unstructured":"Leslie Lamport. 2019. Time clocks and the ordering of events in a distributed system. In Concurrency: the Works of Leslie Lamport. 179\u2013196."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_9_1","volume-title":"DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools. SC17: International Conference for High Performance Computing, Networking, Storage and Analysis","author":"Liao Chunhua","year":"2017","unstructured":"Chunhua Liao, Pei-Hung Lin, Joshua Asplund, Markus Schordan, and Ian Karlin. 2017. DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools. SC17: International Conference for High Performance Computing, Networking, Storage and Analysis (2017), 1\u201314."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness54621.2021.00011"},{"key":"e_1_3_2_1_11_1","unstructured":"Friedemann Mattern 1988. Virtual time and global states of distributed systems. Univ. Department of Computer Science."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_13_1","volume-title":"FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6\u201311, 2019, Proceedings 22","author":"Peng Chao","year":"2019","unstructured":"Chao Peng and Ajitha Rajan. 2019. Cltestcheck: Measuring test effectiveness for gpu kernels. In Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6\u201311, 2019, Proceedings 22. Springer, 315\u2013331."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2010.69"},{"key":"e_1_3_2_1_17_1","article-title":"Architecture and Compiler Support for GPUs Using Energy-Efficient Affine Register Files","volume":"23","author":"Wang Shao-Chung","year":"2017","unstructured":"Shao-Chung Wang, Li-Chen Kan, Chao-Lin Lee, Yuan-Shin Hwang, and Jenq-Kuen Lee. 2017. Architecture and Compiler Support for GPUs Using Energy-Efficient Affine Register Files. ACM Trans. Design Autom. Electr. Syst. 23 (2017), 18:1\u201318:25.","journal-title":"ACM Trans. Design Autom. Electr. Syst."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470644"},{"key":"e_1_3_2_1_19_1","unstructured":"Chun-Chieh Yang Shao-Chung Wang Chou-Chuan Chen and Jenq-Kuen Lee. 2015. The support of an experimental OpenCL compiler on HSA environments. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA). The Steering Committee of The World Congress in Computer Science Computer Engineering and Applied Computing (WorldComp) 184."}],"event":{"name":"ICPP Workshops '24: The 53rd International Conference on Parallel Processing Workshops","acronym":"ICPP Workshops '24","location":"Gotland Sweden"},"container-title":["The 53rd International Conference on Parallel Processing Workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677333.3678148","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:21Z","timestamp":1750291461000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677333.3678148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,12]]},"references-count":19,"alternative-id":["10.1145\/3677333.3678148","10.1145\/3677333"],"URL":"https:\/\/doi.org\/10.1145\/3677333.3678148","relation":{},"subject":[],"published":{"date-parts":[[2024,8,12]]},"assertion":[{"value":"2024-08-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}