Reasoning from Traces: Divergence-Guided Agentic Repair of WebAssembly Discrepancies
WasmMend is presented, the first system to automatically repair Native-Wasm functional discrepancies and demonstrates the value of divergence-guided reasoning for cross-platform repair.