Can I read Robustness against Release/Acquire Semantics on EtoBox?

Robustness against Release/Acquire Semantics by Ori Lahav and Roy Margalit is a scholarly article available to read on EtoBox.

What is Robustness against Release/Acquire Semantics about?

- Theory of computation -> Verification by model checking.Concurrent algorithms.Program semantics.Program verification.Program analysis.- Software and its engineering -> Software verification. weak memory models,C/C++11,release/acquire,robustness

Author

Ori Lahav and Roy Margalit