Doehyun Baek

Doehyun Baek is a researcher at the University of Stuttgart, Germany, specializing in software engineering and programming languages with a focus on WebAssembly technologies.

His research mission centers on developing practical techniques to enhance public software quality, particularly through record/replay systems and program reduction for WebAssembly. Key interests include creating realistic benchmarks, improving debugging workflows, and ensuring execution fidelity in reduced programs.

Recent work demonstrates significant contributions to WebAssembly tooling, with publications at premier conferences like ASE and OOPSLA. His research bridges theoretical program analysis with real-world software engineering challenges, emphasizing standalone benchmark generation and execution-aware reduction techniques.