Engineering Sciences

Towards automatic restrictification of CUDA kernel arguments

Published on - ASE '18: 33rd ACM/IEEE International Conference on Automated Software Engineering

Authors: Rokiatou Diarra