Symbolically Generate CUDA Programs

Generate CUDA code using SymbolicC.