Vafeiadis, Viktor Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;
Beck, M., Bhat, K., Stričević, L., Chen, G., Behrens, D., Fu, M., et al. (2023). AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. In T. M. Aamodt, N. Enright Jerger, & M. Swift (Eds.), ASPLOS '23 (pp. 61-73). New York, NY: ACM. doi:10.1145/3575693.3579849.