Towards automatic restrictification of CUDA kernel arguments

Publié le 3 septembre 2018 - ASE '18: 33rd ACM/IEEE International Conference on Automated Software Engineering