Software Engineer at NVIDIA
WASM-Redex. A model of the WebAssembly language in Redex
Wasm-prechk. Index Typed WebAssembly - it works on all machines!
Wasm-Prechk-Artifact. Contains software artifacts, benchmarks, and a dockerfile for Wasm-prechk
