3 papers
cs.SE2026
READU: Inconsistency-Driven Just-in-Time Detection and Repair of README Bugs
Doehyun Baek, Kilian Krampf, Michael Pradel
Repository-level documentation, such as READMEs, is often the first point of contact between users and a repository. When this documentation is incorrect, users may encounter runti…
cs.SE2026
Automated Table Reproduction via Code Generation
Doehyun Baek, Michael Pradel
Reproducibility is an important goal in computer science research, e.g., for artifact evaluation and to build upon experimental results of prior work. Recently, LLM agents are bein…
cs.PL2025
Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer +2
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 t…