Graphical Inquirer of GPU Programs (GIG)
by Brandon Gibson for The Eclipse Foundation
The Gauss Research Group has created a new tool called GKLEE that does a formal verification of CUDA programs. I wish to integrate GKLEE's debugging potential into Eclipse's Parallel Tools Platform.