Debugging and Optimization of HPC Programs with the Verrou Tool | IEEE Conference Publication | IEEE Xplore