Parallel assertions for debugging parallel programs.

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

Browse the full MEMOCODE paper archive.