Scaling Instruction-Selection Verification against Authoritative ISA Semantics. - Michael McLoughlin; Ashley Sheng; Chris Fallin; Bryan Parno; Fraser Brown; Alexa VanHattum (Proc. ACM Program. Lang., 2025)