Hi, my name is Tae Eun. I am a second-year Ph.D student at KAIST, a member of Programming Systems Lab. I am grateful to be advised by Prof. Kihong Heo. My current research interests are in the intersection of Static Analysis and Dynamic Analysis, which are each represented as Program Analysis and Fuzzing, respectively.



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, 2024 (to appear)
[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] [slide] [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] [slide] [talk] [song]



Teaching experiences

  • Teaching Assistant at KAIST, Korea (2022 - )
    • CS524: Program Analysis (Spring 2024)
    • CS492: Program Reasoning (Fall 2023)
    • CS524: Program Analysis (Fall 2022)
    • CS348: Introduction to Information Security (Spring 2022)
  • Teaching Assistant at Handong Global University, Korea (2020 - 2021)
    • ITP40002: Software Engineering (Spring 2021)
    • ITP20005: Programming Language Theory (Fall 2020)



Education

  • Ph.D in Computer Science, KAIST, Korea (2023 - )
  • 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 (2023)



Other

  • Posts: I write posts for the academic trips I have taken. There are also posts from my bi-weekly writing practice in my first year of graduate school. You can find them here.
  • Hobbies: I like to sing, read books, watch movies, and play judo.