AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM.

Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Hrtig

Browse the full ASPLOS paper archive.