Research

My mission as a researcher is to develop simple yet effective techniques to make public software better. As part of this mission, I am currently pursuing these research topics:

• Record and replay for WebAssembly

Papers

[ASE 2025]
Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben Titzer, Sukyoung Ryu, Michael Pradel.
TLDR: Record and replay can speed up program reduction by targeting and isolating the bug-triggering function.
[paper][artifact]

[OOPSLA 2024]
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben Titzer, Sukyoung Ryu, Michael Pradel.
TLDR: Wasm-R3 is the first record and replay technique for WebAssembly useful for benchmark generation.
[paper][artifact]

Talks

Execution-Aware Program Reduction for WebAssembly via Record and Replay

• ASE 2025 [recording]
• SOLA Group Retreat 2025 [slides]
• Wasm Research Day 2025 [recording]

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

• OOPSLA 2024 [recording]
• WebAssembly Benchmarking Subgroup [notes]
• Wasm Research Day 2024 [recording]