Exploiting purity for atomicity.

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer

Browse the full ISSTA paper archive.