Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection.

Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown

Browse the full ASPLOS paper archive.