Nitpicking C++ concurrency.

Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar

Browse the full PPDP paper archive.