Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen 0001, Hermann Härtig. AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. In Tor M. Aamodt, Natalie D. Enright Jerger, Michael M. Swift, editors, Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023. pages 61-73, ACM, 2023. [doi]
@inproceedings{BeckBSCBFV0H23,
title = {AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM},
author = {Martin Beck and Koustubha Bhat and Lazar Stricevic and Geng Chen and Diogo Behrens and Ming Fu and Viktor Vafeiadis and Haibo Chen 0001 and Hermann Härtig},
year = {2023},
doi = {10.1145/3575693.3579849},
url = {https://doi.org/10.1145/3575693.3579849},
researchr = {https://researchr.org/publication/BeckBSCBFV0H23},
cites = {0},
citedby = {0},
pages = {61-73},
booktitle = {Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023},
editor = {Tor M. Aamodt and Natalie D. Enright Jerger and Michael M. Swift},
publisher = {ACM},
isbn = {978-1-4503-9916-6},
}