Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.

Cyrille Artho, Klaus Havelund, Armin Biere

Browse the full ATVA paper archive.