Library abstraction for C/C++ concurrency.

Mark Batty, Mike Dodds, Alexey Gotsman

Browse the full POPL paper archive.