Verification of programs under the release-acquire semantics.

Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna

Browse the full PLDI paper archive.