Ryan Berger, Mitch Briles, Nader Bushehri, Nicholas Coughlin, Kait Lam, Nuno P. Lopes, Stefan Mada, Tanmay Tirpankar, John Regehr
R. Berger, M. Briles, N. Bushehri, N. Coughlin, K. Lam, N. P. Lopes, S. Mada, T. Tirpankar, J. Regehr. Translation Validation for LLVM's AArch64 Backend. Proc. of the ACM on Programming Languages, Oct. 2025.
@article{armtv-oopsla25,
title = {Translation Validation for {LLVM}'s {AArch64} Backend},
author = {Ryan Berger and Mitch Briles and Nader Bushehri and Nicholas Coughlin and Kait Lam and Nuno P. Lopes and Stefan Mada and Tanmay Tirpankar and John Regehr},
journal = {Proc. of the ACM on Programming Languages},
number = {OOPSLA},
publisher = {ACM},
month = oct,
year = 2025
}