[PLDI24] Bringing the WebAssembly Standard up to Speed with SpecTec | ACM SIGPLAN | Podwise