A symbolic verifier for CUDA programs.

Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan

Browse the full PPoPP paper archive.