What's Decidable about Weak Memory Models?

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Browse the full ESOP paper archive.