I am a PhD student in Computer Science and Engineering at UNIST, affiliated with the Software Testing and Analysis Research Lab under the supervision of Professor Mijung Kim. My research focuses on software validation, leveraging both dynamic and static program analysis techniques to improve software reliability and security.

Publications

Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries
Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi, Mijung Kim
ICSE 2025: International Conference on Software Engineering, 2025
[paper] [github]

A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code
Ho Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, DongKwon Lee, Kwangkeun Yi
ICSE-Companion 2022: International Conference on Software Engineering: Companion Proceedings Poster Track, 2022
[paper] [github]

Education

• Ph.D. in Computer Science and Engineering (Sep 2022 - present)
  UNIST, Korea
• M.S. in Computer Science and Engineering (Sep 2019 - Aug 2022)
  Seoul National University, Korea
• B.S. in Computer Science and Engineering (Mar 2011 - Aug 2019)
  UNIST, Korea

Teaching Experience

• Teaching Assistant at UNIST
  • Theory of Computation (Fall 2023, Fall 2022)
  • Software Engineering (Spring 2023)
  • System Programming (Spring 2019)
• Teaching Assistant at Seoul National University
  • Programming Languages (Spring 2021)