passert: A Tool for Debugging Parallel Programs.

Daniel Schwartz-Narbonne, Feng Liu, David I. August, Sharad Malik

Browse the full CAV paper archive.