Memory Safety Preservation for WebAssembly

POPL 2020