Doehyun Baek

Execution-Aware Program Reduction for WebAssembly via Record and Replay WebAssembly (Wasm) programs may trigger bugs in their engine implementations. To aid debugging, program reduction techniques try to produce a smaller variant of the input program that still triggers t...

For anyone interested, here are some relevant links:
pre-print: www.arxiv.org/abs/2506.07834
talk recording: youtu.be/vaNEGiQPs54
artifact: github.com/sola-st/rr-r...
benchmark: github.com/doehyunbaek/...

04.11.2025 09:30 — 👍 0    🔁 0    💬 0    📌 0

🤔 Wasm Program Reduction is slow. Can I speed it up?
💡Record and replay can directly target and isolate the bug-triggering function!

Our paper "Execution-Aware Program Reduction for WebAssembly via Record and Replay" that addresses this problem will be presented at @aseconf.bsky.social 2025!

04.11.2025 09:25 — 👍 3    🔁 1    💬 2    📌 0