Compositional Verification of Compiler Optimisations on Relaxed Memory.

Mike Dodds, Mark Batty, Alexey Gotsman

Browse the full ESOP paper archive.