Soundness of Data Flow Analyses for Weak Memory Models

Jade Alglave‚ Daniel Kroening‚ John Lugton‚ Vincent Nimal and Michael Tautschnig