Author:
Chiang Wei-Fan,Gopalakrishnan Ganesh,Li Guodong,Rakamarić Zvonimir
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Attiya, H., Guerraoui, R., Hendler, D., Kuznetsov, P., Michael, M.M., Vechev, M.: Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. In: POPL, pp. 487–498 (2011)
2. http://www.cs.utah.edu/fv/CdDb
3. Betts, A., Chong, N., Donaldson, A.F., Qadeer, S., Thomson, P.: GPUVerify: a verifier for GPU kernels. In: OOPSLA, pp. 113–132 (2012)
4. Cadar, C., Dunbar, D., Engler, D.R.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI (2008)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Cheking. MIT Press (1999)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Structural testing for CUDA programming model;Concurrency and Computation: Practice and Experience;2024-04-09
2. CURD: a dynamic CUDA race detector;ACM SIGPLAN Notices;2018-12-02
3. CURD: a dynamic CUDA race detector;Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation;2018-06-11
4. BARRACUDA: binary-level analysis of runtime RAces in CUDA programs;ACM SIGPLAN Notices;2017-09-14
5. BARRACUDA: binary-level analysis of runtime RAces in CUDA programs;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14