Concurrent Library Correctness on the TSO Memory Model.

Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang

Browse the full ESOP paper archive.