Using different levels of abstraction for parallel program debugging | IEEE Conference Publication | IEEE Xplore