[PLDI'23] WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for(…) | ACM SIGPLAN | Podwise