Robustness against release/acquire semantics.

Ori Lahav, Roy David Margalit

Browse the full PLDI paper archive.