NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.

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

Browse the full PPoPP paper archive.