Author:
Collingbourne Peter,Donaldson Alastair F.,Ketema Jeroen,Qadeer Shaz
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Pearson Education, 2nd edn. (2007)
2. Allen, J., Kennedy, K., Porterfield, C., Warren, J.: Conversion of control dependence to data dependence. In: POPL 1983, pp. 177–189 (1983)
3. Alshawabkeh, M., Jang, B., Kaeli, D.: Accelerating the local outlier factor algorithm on a GPU for intrusion detection systems. In: GPGPU-3, pp. 104–110 (2010)
4. AMD: AMD Accelerated Parallel Processing (APP) SDK, http://developer.amd.com/sdks/amdappsdk/pages/default.aspx
5. Barnett, M., Leino, K.R.M.: Weakest-precondition of unstructured programs. In: PASTE 2005, pp. 82–87 (2005)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Memory access protocols: certified data-race freedom for GPU kernels;Formal Methods in System Design;2023-05-26
2. Taking Back Control in an Intermediate Representation for GPU Computing;Proceedings of the ACM on Programming Languages;2023-01-09
3. Specifying and testing GPU workgroup progress models;Proceedings of the ACM on Programming Languages;2021-10-20
4. Checking Data-Race Freedom of GPU Kernels, Compositionally;Computer Aided Verification;2021
5. Simulee;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27