Debugging Highly-Parallel Programs