About Me
Hi, my name is Tae Eun Kim. I am a fourth-year Ph.D. student at KAIST and a member of the Programming Systems Laboratory. I am fortunate to be advised by Prof. Kihong Heo. My research focuses on combining static program analysis with dynamic testing techniques, particularly fuzzing.
Publications
Improving Fault Localization with External Oracle by using Counterfactual Execution
Jongchan Park, Tae Eun Kim, Dongsun Kim, Kihong Heo
ACM Transactions on Software Engineering and Methodology, 2025
[paper]
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Tae Eun Kim, Jaeseung Choi, Seongjae Im, Kihong Heo, and Sang Kil Cha
International Conference on the Foundations of Software Engineering, 2024
[paper] [slides] [talk (in Korean)]
DAFL: Directed Grey-box Fuzzing Guided by Data Dependency
Tae Eun Kim, Jaeseung Choi, Kihong Heo, Sang Kil Cha
USENIX Security Symposium, 2023
[paper] [slides] [talk] [song]
Education
- Ph.D. in Computer Science, KAIST, Korea (2023–present)
- M.S. in Computer Science, KAIST, Korea (2021–2023)
- B.S. in Computer Science and Counseling Psychology, Summa Cum Laude, Handong Global University, Korea (2014–2021)
Awards
- Outstanding MS Thesis Award, School of Computing, KAIST (2024)
- Outstanding Teaching Assistant Award, School of Computing, KAIST (Fall 2022, Spring 2025)
Academic Service
- Journal Reviewer
- ACM Transactions on Software Engineering and Methodology (TOSEM) (2024)
- Journal of Software Testing, Verification and Reliability (STVR) (2026)
- Artifact Evaluation Committee
- ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (2025, 2026)
Teaching Experience
- Teaching Assistant at KAIST, Korea (2022–2026)
- CS524: Program Analysis (Fall 2022, Spring 2024, Spring 2026)
- CS492: Program Reasoning (Fall 2023)
- CS348: Introduction to Information Security (Spring 2022, Spring 2025)
- Teaching Assistant at Handong Global University, Korea (2020–2021)
- ITP40002: Software Engineering (Spring 2021)
- ITP20005: Programming Language Theory (Fall 2020)