Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement.

Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie

Browse the full SAC paper archive.