The virtues of conflict: analysing modern concurrency.

Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening

Browse the full PPoPP paper archive.