Compositional Verification of Compiler Optimisations on Relaxed Memory | Publicación