Taming release-acquire consistency.

Ori Lahav, Nick Giannarakis, Viktor Vafeiadis

Browse the full POPL paper archive.