Seongmin Lee

prof_pic.jpeg

+1 (310) 806-7239

University of California, Los Angeles

Computer Science Department

Engineering VI, Room 474

Los Angeles, CA 90095

I am a postdoctoral researcher at the Software Evolution and Analysis Laboratory (SEAL) at UCLA, working with Prof. Miryung Kim.

My research interests lie in program analysis and software testing, with a focus on making program analysis scalable to address the challenges associated with the scale and complexity of software systems. I aim to achieve practical software testing in real-world scenarios by utilizing statistical methods to analyze dynamic information from program execution, facilitating the reasoning of a program’s semantic properties and addressing empirical challenges in software testing.

Prior to joining SEAL, I was a postdoctoral researcher at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany, where I worked with Dr. Marcel Böhme in the Software Security group. I received my Ph.D. in Computation Intelligence and Software Engineering Lab (COINSE) at KAIST, advised by Dr. Shin Yoo in 2022.

news

Jun, 2025 :mortar_board: I have been invited to serve as a program committee member for FSE 2026.
Jun, 2025 :mortar_board: I joined Software Evolution and Analysis Laboratory (SEAL) at the University of California, Los Angeles (UCLA) as a postdoctoral researcher, working with Prof. Miryung Kim!
Apr, 2025 :microphone: I have been invited for a tutorial talk at the 18th Intl. Workshop on Search-Based and Fuzz Testing (SBFT 2025)! See you everyone in the beautiful city of Ottawa!
Jan, 2025 :trophy: :tada: Our paper “How Much is Unseen Depends Chiefly on Information About the Seen” has been accepted to The Thirteenth International Conference on Learning Representations (ICLR 2025) as a spotlight paper! This is my first paper at the top-tier ML conference.
Dec, 2024 :mortar_board: I have been invited to serve as a program committee member for the International Conference on Software Engineering 2026 (ICSE’26) and the 1st International Workshop on Large Language Model-Oriented Empirical Research 2025 (LLanMER’25).

selected publications

  1. ICSE
    leak-image.png
    Accounting for Missing Events in Statistical Information Leakage Analysis
    Seongmin Lee, Shreyas Minocha, and Marcel Böhme
    In Proceedings of the IEEE/ACM 47th International Conference on Software Engineering (ICSE’25), Jun 2025
  2. ICLR
    unseen-image.png
    How Much Is Unseen Depends Chiefly on Information About the Seen
    Seongmin Lee and Marcel Böhme
    In Proceedings of the 13th International Conference on Learning Representations (ICLR’25), May 2025
  3. SCP
    cpda-image.png
    Causal Program Dependence Analysis
    Seongmin Lee, Dave Binkley, Robert Feldt, Nicolas Gold, and Shin Yoo
    Science of Computer Programming, Feb 2025
  4. ICSE
    extrapolate-image.png
    Extrapolating Coverage Rate in Greybox Fuzzing
    Danushka Liyanage*, Seongmin Lee*, Chakkrit Tantithamthavorn, and Marcel Böhme
    In Proceedings of the IEEE/ACM 46th International Conference on Software Engineering (ICSE’24), Apr 2024
  5. ESEC/FSE
    sra-image.png
    Statistical Reachability Analysis
    Seongmin Lee and Marcel Böhme
    In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE’23), Nov 2023

latest posts