I am a PhD student at the CISPA Helmholtz Center for Information Security, advised by Prof. Dr. Michael Pradel
Doehyun Baek
Research
My mission as a researcher is to develop simple yet effective techniques to make public software better. Specifically, I am interested in these research topics:
- LLMs for software engineering
- Dynamic analysis
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][talk]
[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][talk]