[WAW'24] Generating Executable Specification from Formal Semantics of WebAssembly | ACM SIGPLAN | Podwise