NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.

Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen

Browse the full PLDI paper archive.