2023
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023