Translation Validation for LLVM's AArch64 Backend. - Ryan Berger; Mitch Briles; Nader Boushehrinejad Moradi; Nicholas Coughlin; Kait Lam; Nuno P. Lopes; Stefan Mada; Tanmay Tirpankar; John Regehr (Proc. ACM Program. Lang., 2025)

Numerical Superoptimization for Library Learning. - Jonas Regehr; Mitch Briles; Zachary Tatlock; Pavel Panchekha (CoRR, 2026)