Adversarial memory for detecting destructive races.

Cormac Flanagan, Stephen N. Freund

Browse the full PLDI paper archive.