Speculative linearizability.

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Browse the full PLDI paper archive.