Dowon Song (송도원)
Postdoctoral Researcher
Software Analysis Laboratory,
Department of Computer Science and Engineering,
Korea University
About Me
I am a postdoctoral researcher at Korea University. My research focuses on automated software debugging by leveraging program analysis and program synthesis.
Research Interests
My research interests lie in program analysis and automated software engineering, with a focus on improving the reliability and practicality of automated program repair, debugging, and AI-assisted software development.
- Program analysis and automated reasoning for software engineering
- Automated program repair and software debugging
- Reliable and trustworthy AI-assisted software engineering
Education
- Integrated M.S./Ph.D. in Computer Science, Korea University (2018.03 - 2026.02). Advisor: Prof. Hakjoo Oh
- B.S. in Computer Science, Korea University (2014.03 - 2018.02)
Publications
I have published research papers at top-tier conferences in programming languages and software engineering.
-
Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection.Dowon Song and Hakjoo Oh.OOPSLA 2025: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications.
-
Context-Aware and Data-Driven Feedback Generation for Programming Assignments.Dowon Song, Woosuk Lee, and Hakjoo Oh.ESEC/FSE 2021: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
-
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments.Dowon Song, Myungho Lee, and Hakjoo Oh.OOPSLA 2019: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications.
-
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments.Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh.OOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications.