GPU kernel verification with Pulse - View it on GitHub