[PLDI'23] Iris-Wasm: Robust and Modular Verification of WebAssembly Programs | ACM SIGPLAN | Podwise