Getting Rid of Store-buffers in the Analysis of Weak Memory-Models On Sequentializing Concurrent Programs Ahmed Bouajjani LIAFA, University of Paris 7, France Michael Emmi…