0911A033-08E7-4A8F-8128-839AC739018CScalable Automatic Verification of GPU KernelsResearch GrantEP/K011499/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL100057C5D7073F-7F9E-44BC-B7FD-13D35A5EAF5AOverhauling SC atomics in C11 and OpenCLf966dfe382387db4b568a35d1dd2b733Batty M2016-01-01http://dx.doi.org/10.1145/2837614.28376379781450335492http://dx.doi.org/10.1145/2837614.2837637Conference/Paper/Proceeding/Abstract56d70d19817a42.17391300