16 May 2022

Our paper on “Unifying Operational Weak Memory Verification: An Axiomatic Approach” has been accepted to ACM Transactions on Computational Logic journal.

The paper can be found here.