VYRD: verifYing concurrent programs by runtime refinement-violation detection.

Tayfun Elmas, Serdar Tasiran, Shaz Qadeer

Browse the full PLDI paper archive.