Soundness of Data Flow Analyses for Weak Memory Models.

Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig

Browse the full APLAS paper archive.