Soundness of Data Flow Analyses for Weak Memory Models. - Jade Alglave; Daniel Kroening; John Lugton; Vincent Nimal; Michael Tautschnig (APLAS, 2011)