A symbolic verifier for CUDA programs.

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

Published in: PPOPP (2010)

Keyphrases

general purpose
intermediate level
high level
parallel computing
information systems
low level
times faster
symbolic data
parallel implementation
computer programs
smart card
symbolic description
connectionist models
control program
automatic programming
real time
object oriented
data model
machine learning