{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:17:28Z","timestamp":1767928648389,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","award":[""],"award-info":[{"award-number":[""]}],"id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598095","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"779-791","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)"],"prefix":"10.1145","author":[{"given":"Reese","family":"Levine","sequence":"first","affiliation":[{"name":"University of California at Santa Cruz, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingun","family":"Cho","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Devon","family":"McKee","sequence":"additional","affiliation":[{"name":"University of California at Santa Cruz, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Quinn","sequence":"additional","affiliation":[{"name":"University of California at Santa Cruz, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tyler","family":"Sorensen","sequence":"additional","affiliation":[{"name":"University of California at Santa Cruz, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694391"},{"key":"e_1_3_2_1_2_1","unstructured":"Jade Alglave Luc Maranget Susmit Sarkar and Peter Sewell. 2010. Fences in weak memory models. In Computer Aided Verification Tayssir Touili Byron Cook and Paul Jackson (Eds.). Springer Berlin Heidelberg 258\u2013272. isbn:978-3-642-14295-6 \t\t\t\t  Jade Alglave Luc Maranget Susmit Sarkar and Peter Sewell. 2010. Fences in weak memory models. In Computer Aided Verification Tayssir Touili Byron Cook and Paul Jackson (Eds.). Springer Berlin Heidelberg 258\u2013272. isbn:978-3-642-14295-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/581571.581573"},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/developer.apple.com\/documentation\/metal\/ Retrieved","year":"2023","unstructured":"Apple. 2023. Metal. https:\/\/developer.apple.com\/documentation\/metal\/ Retrieved February 2023 Apple. 2023. Metal. https:\/\/developer.apple.com\/documentation\/metal\/ Retrieved February 2023"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(85)90011-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/E-SCIENCE.2005.76"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3067695.3076002"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5537722"},{"key":"e_1_3_2_1_13_1","unstructured":"Esther Francis. 2014. Autonomous cars: no longer just science fiction. \t\t\t\t  Esther Francis. 2014. Autonomous cars: no longer just science fiction."},{"key":"e_1_3_2_1_14_1","unstructured":"Google. 2023. Android NDK. https:\/\/developer.android.com\/ndk \t\t\t\t  Google. 2023. Android NDK. https:\/\/developer.android.com\/ndk"},{"key":"e_1_3_2_1_15_1","unstructured":"Google. 2023. Clspv. https:\/\/github.com\/google\/clspv \t\t\t\t  Google. 2023. Clspv. https:\/\/github.com\/google\/clspv"},{"key":"e_1_3_2_1_16_1","unstructured":"Google. 2023. Dart. https:\/\/dart.dev\/ \t\t\t\t  Google. 2023. Dart. https:\/\/dart.dev\/"},{"key":"e_1_3_2_1_17_1","unstructured":"Google. 2023. Flutter. https:\/\/flutter.dev\/ \t\t\t\t  Google. 2023. Flutter. https:\/\/flutter.dev\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2004.1310768"},{"key":"e_1_3_2_1_19_1","unstructured":"Jeff Bolz. 2022. Vulkan memory model. https:\/\/www.khronos.org\/registry\/vulkan\/specs\/1.1-extensions\/html\/vkspec.html#memory-model \t\t\t\t  Jeff Bolz. 2022. Vulkan memory model. https:\/\/www.khronos.org\/registry\/vulkan\/specs\/1.1-extensions\/html\/vkspec.html#memory-model"},{"key":"e_1_3_2_1_20_1","unstructured":"Khronos Group. 2021. SPIR-V specification version 1.6 revision 1. https:\/\/www.khronos.org\/registry\/SPIR-V\/specs\/unified1\/SPIRV.html \t\t\t\t  Khronos Group. 2021. SPIR-V specification version 1.6 revision 1. https:\/\/www.khronos.org\/registry\/SPIR-V\/specs\/unified1\/SPIRV.html"},{"key":"e_1_3_2_1_21_1","unstructured":"Khronos Group. 2022. The OpenCL C Specification. https:\/\/registry.khronos.org\/OpenCL\/specs\/3.0-unified\/html\/OpenCL_C.html \t\t\t\t  Khronos Group. 2022. The OpenCL C Specification. https:\/\/registry.khronos.org\/OpenCL\/specs\/3.0-unified\/html\/OpenCL_C.html"},{"key":"e_1_3_2_1_22_1","unstructured":"Khronos Group. 2022. Vulkan 1.3 Core API. \t\t\t\t  Khronos Group. 2022. Vulkan 1.3 Core API."},{"key":"e_1_3_2_1_23_1","unstructured":"Khronos Group. 2023. MoltenVK. https:\/\/github.com\/KhronosGroup\/MoltenVK \t\t\t\t  Khronos Group. 2023. MoltenVK. https:\/\/github.com\/KhronosGroup\/MoltenVK"},{"key":"e_1_3_2_1_24_1","unstructured":"Khronos Group. 2023. SPIRV-Cross. https:\/\/github.com\/KhronosGroup\/SPIRV-Cross \t\t\t\t  Khronos Group. 2023. SPIRV-Cross. https:\/\/github.com\/KhronosGroup\/SPIRV-Cross"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428294"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7922486"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575750"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_26"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3124536"},{"key":"e_1_3_2_1_31_1","unstructured":"Yatin A. Manerkar Caroline Trippel Daniel Lustig Michael Pellauer and Margaret Martonosi. 2016. Counterexamples and proof loophole for the C\/C++ to POWER and ARMv7 trailing-sync compiler mappings. arxiv:1611.01507. 2016 \t\t\t\t  Yatin A. Manerkar Caroline Trippel Daniel Lustig Michael Pellauer and Margaret Martonosi. 2016. Counterexamples and proof loophole for the C\/C++ to POWER and ARMv7 trailing-sync compiler mappings. arxiv:1611.01507. 2016"},{"key":"e_1_3_2_1_32_1","unstructured":"Duane Merrill and Michael Garland. 2016. Single-pass parallel prefix scan with decoupled lookback. https:\/\/research.nvidia.com\/publication\/2016-03_single-pass-parallel-prefix-scan-decoupled-look-back \t\t\t\t  Duane Merrill and Michael Garland. 2016. Single-pass parallel prefix scan with decoupled lookback. https:\/\/research.nvidia.com\/publication\/2016-03_single-pass-parallel-prefix-scan-decoupled-look-back"},{"key":"e_1_3_2_1_33_1","unstructured":"Microsoft. 2020. Programming guide for Direct3D 11. https:\/\/docs.microsoft.com\/en-us\/windows\/win32\/direct3d11\/dx-graphics-overviews \t\t\t\t  Microsoft. 2020. Programming guide for Direct3D 11. https:\/\/docs.microsoft.com\/en-us\/windows\/win32\/direct3d11\/dx-graphics-overviews"},{"key":"e_1_3_2_1_34_1","volume-title":"A primer on memory consistency and cache coherence","author":"Nagarajan Vijay","unstructured":"Vijay Nagarajan , Daniel J. Sorin , Mark D. Hill , David A. Wood , and Natalie Enright Jerger . 2020. A primer on memory consistency and cache coherence ( 2 nd ed.). Morgan & Claypool Publishers . isbn:1681737094 Vijay Nagarajan, Daniel J. Sorin, Mark D. Hill, David A. Wood, and Natalie Enright Jerger. 2020. A primer on memory consistency and cache coherence (2nd ed.). Morgan & Claypool Publishers. isbn:1681737094","edition":"2"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 24th International Conference on Neural Information Processing Systems (NIPS\u201911)","author":"Niu Feng","year":"1839","unstructured":"Feng Niu , Benjamin Recht , Christopher Re , and Stephen J. Wright . 2011. HOGWILD! A lock-free approach to parallelizing stochastic gradient descent . In Proceedings of the 24th International Conference on Neural Information Processing Systems (NIPS\u201911) . Curran Associates Inc., 693\u2013701. isbn:97816 1839 5993 Feng Niu, Benjamin Recht, Christopher Re, and Stephen J. Wright. 2011. HOGWILD! A lock-free approach to parallelizing stochastic gradient descent. In Proceedings of the 24th International Conference on Neural Information Processing Systems (NIPS\u201911). Curran Associates Inc., 693\u2013701. isbn:9781618395993"},{"key":"e_1_3_2_1_36_1","unstructured":"NVIDIA. 2023. CUDA C++ programming guide. https:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/ \t\t\t\t  NVIDIA. 2023. CUDA C++ programming guide. https:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-021-03980-5"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-022-00463-x"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/63039.63042"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPPW.2005.35"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2414729.2414737"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2019.8916327"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540711"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480929"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42277"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908114"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909437.2909440"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009838"},{"key":"e_1_3_2_1_49_1","unstructured":"William W. Collier. 1994. ARCHTEST. http:\/\/www.mpdiag.com\/archtest.html \t\t\t\t  William W. Collier. 1994. ARCHTEST. http:\/\/www.mpdiag.com\/archtest.html"},{"key":"e_1_3_2_1_50_1","unstructured":"World Wide Web Consortium (W3C). 2022. WebGPU shading language: Editor\u2019s draft. https:\/\/gpuweb.github.io\/gpuweb\/wgsl\/ \t\t\t\t  World Wide Web Consortium (W3C). 2022. WebGPU shading language: Editor\u2019s draft. https:\/\/gpuweb.github.io\/gpuweb\/wgsl\/"},{"key":"e_1_3_2_1_51_1","unstructured":"World Wide Web Consortium (W3C). 2023. WebGPU: W3C working draft. https:\/\/www.w3.org\/TR\/webgpu\/ \t\t\t\t  World Wide Web Consortium (W3C). 2023. WebGPU: W3C working draft. https:\/\/www.w3.org\/TR\/webgpu\/"},{"key":"e_1_3_2_1_52_1","unstructured":"World Wide Web Consortium (W3C). 2023. WebGPU: W3C working draft: Privacy considerations. https:\/\/www.w3.org\/TR\/webgpu\/####privacy-considerations \t\t\t\t  World Wide Web Consortium (W3C). 2023. WebGPU: W3C working draft: Privacy considerations. https:\/\/www.w3.org\/TR\/webgpu\/####privacy-considerations"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":52,"alternative-id":["10.1145\/3597926.3598095","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598095","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}