Re: [soc-dev] Check in

[Brandon Gibson <leibniz4ever@xxxxxxxxxxx>]

Hi,

My name is Brandon Gibson. I am working on the Graphical Inquisitor of GPU Programs (GIG) which was previously known as the Graphical Explorer of CUDA programs. I have plugged into many of the Eclipse GUI framework points and am currently setting up the back-end logic for running the formal verifier. I am mostly on schedule, though involvement in a NASA competition this week is limiting my time. I am learning a great deal about how to better use the Eclipse API's, especially the IResources. Most of my communications are through private emails between my official mentor, my unofficial mentor, and me. There is some stuff on the PTP mailing list, and a bugzilla on PTP also. I also have emails and in-person meetings with the rest of the research group that created the formal verifier that I am incorporating into Eclipse.

Cheers,
Brandon Gibson