WOMM: A Weak Operational Memory Model.

Arnab De, Abhik Roychoudhury, Deepak D'Souza

Browse the full ISoLA paper archive.