Author:
Bardsley Ethel,Betts Adam,Chong Nathan,Collingbourne Peter,Deligiannis Pantazis,Donaldson Alastair F.,Ketema Jeroen,Liew Daniel,Qadeer Shaz
Publisher
Springer International Publishing
Reference39 articles.
1. Allen, J., Kennedy, K., Porterfield, C., Warren, J.: Conversion of control dependence to data dependence. In: POPL, pp. 177–189 (1983)
2. AMD: AMD Accelerated Parallel Processing (APP) SDK, http://developer.amd.com/sdks/amdappsdk
3. Bakhoda, A., Yuan, G.L., Fung, W.W.L., Wong, H., Aamodt, T.M.: Analyzing CUDA workloads using a detailed gpu simulator. In: ISPASS, pp. 163–174 (2009)
4. Lecture Notes in Computer Science;E. Bardsley,2014
5. Bardsley, E., Donaldson, A.F., Wickerson, J.: KernelInterceptor: Automating gpu kernel verification by intercepting kernels and their parameters. In: IWOCL (2014)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Memory access protocols: certified data-race freedom for GPU kernels;Formal Methods in System Design;2023-05-26
2. iGUARD;Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles CD-ROM;2021-10-26
3. Checking Data-Race Freedom of GPU Kernels, Compositionally;Computer Aided Verification;2021
4. Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs;Symmetry;2020-09-20
5. ScoRD: A Scoped Race Detector for GPUs;2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA);2020-05