Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection. - Alexa VanHattum; Monica Pardeshi; Chris Fallin; Adrian Sampson; Fraser Brown (ASPLOS (1), 2024)