{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:17:02Z","timestamp":1767928622497,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T00:00:00Z","timestamp":1674777600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Google","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,27]]},"DOI":"10.1145\/3575693.3575750","type":"proceedings-article","created":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T22:56:55Z","timestamp":1675119415000},"page":"473-488","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications"],"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":"Tianhao","family":"Guo","sequence":"additional","affiliation":[{"name":"New York University, USA \/ 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 \/ University of California at Santa Cruz, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Baker","sequence":"additional","affiliation":[{"name":"Google, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raph","family":"Levien","sequence":"additional","affiliation":[{"name":"Google, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Neto","sequence":"additional","affiliation":[{"name":"Google, Canada"}],"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,1,30]]},"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","doi-asserted-by":"publisher","DOI":"10.1145\/1481839.1481842"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_28"},{"key":"e_1_3_2_1_4_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_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"e_1_3_2_1_7_1","unstructured":"Apple. 2021. Metal Shading Language Specification Version 2.4. https:\/\/developer.apple.com\/metal\/Metal-Shading-Language-Specification.pdf \t\t\t\t  Apple. 2021. Metal Shading Language Specification Version 2.4. https:\/\/developer.apple.com\/metal\/Metal-Shading-Language-Specification.pdf"},{"key":"e_1_3_2_1_8_1","volume-title":"https:\/\/developer.apple.com\/documentation\/metal\/ Retrieved","year":"2022","unstructured":"Apple. 2022. Metal. https:\/\/developer.apple.com\/documentation\/metal\/ Retrieved March 2022 . Apple. 2022. Metal. https:\/\/developer.apple.com\/documentation\/metal\/ Retrieved March 2022."},{"key":"e_1_3_2_1_9_1","unstructured":"Alan Baker. 2021. Fixes to memory model for barriers and atomics. https:\/\/github.com\/gpuweb\/gpuweb\/pull\/2297 \t\t\t\t  Alan Baker. 2021. Fixes to memory model for barriers and atomics. https:\/\/github.com\/gpuweb\/gpuweb\/pull\/2297"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837637"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062353"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(85)90011-6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1993.470617"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/106972.106997"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2004.1310768"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541981"},{"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","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_21_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_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 Groups. 2022. Test message passing using permuted indices. https:\/\/github.com\/KhronosGroup\/VK-GL-CTS\/commit\/0f0473342f80ab4ddcdd3588c034fc41b285e6ca \t\t\t\t  Khronos Groups. 2022. Test message passing using permuted indices. https:\/\/github.com\/KhronosGroup\/VK-GL-CTS\/commit\/0f0473342f80ab4ddcdd3588c034fc41b285e6ca"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428294"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_26_1","unstructured":"Reese Levine. 2022. Add comprehensive memory model tests. https:\/\/github.com\/gpuweb\/cts\/pull\/1330 \t\t\t\t  Reese Levine. 2022. Add comprehensive memory model tests. https:\/\/github.com\/gpuweb\/cts\/pull\/1330"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7196061"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304043"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3124536"},{"key":"e_1_3_2_1_30_1","volume-title":"Counterexamples and Proof Loophole for the C\/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings. CoRR, abs\/1611.01507","author":"Manerkar Yatin A.","year":"2016","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. CoRR, abs\/1611.01507 ( 2016 ), arXiv:1611.01507. 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. CoRR, abs\/1611.01507 (2016), arXiv:1611.01507."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00037"},{"key":"e_1_3_2_1_32_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_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_27"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330568"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908114"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC47752.2019.9042019"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385973"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009838"},{"key":"e_1_3_2_1_39_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_40_1","volume-title":"WebGPU Shading Language: Editor","author":"World Wide Web Consortium (W3C). 2022.","unstructured":"World Wide Web Consortium (W3C). 2022. WebGPU Shading Language: Editor \u2019s Draft . https:\/\/gpuweb.github.io\/gpuweb\/wgsl\/ World Wide Web Consortium (W3C). 2022. WebGPU Shading Language: Editor\u2019s Draft. https:\/\/gpuweb.github.io\/gpuweb\/wgsl\/"},{"key":"e_1_3_2_1_41_1","unstructured":"World Wide Web Consortium (W3C). 2022. WebGPU: W3C Working Draft. https:\/\/www.w3.org\/TR\/webgpu\/ \t\t\t\t  World Wide Web Consortium (W3C). 2022. WebGPU: W3C Working Draft. https:\/\/www.w3.org\/TR\/webgpu\/"}],"event":{"name":"ASPLOS '23: 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","location":"Vancouver BC Canada","acronym":"ASPLOS '23","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575693.3575750","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575693.3575750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:20Z","timestamp":1750182680000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575693.3575750"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,27]]},"references-count":41,"alternative-id":["10.1145\/3575693.3575750","10.1145\/3575693"],"URL":"https:\/\/doi.org\/10.1145\/3575693.3575750","relation":{},"subject":[],"published":{"date-parts":[[2023,1,27]]},"assertion":[{"value":"2023-01-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}