I am a postdoctoral researcher at the Max Planck Institute for Security and Privacy in Bochum, Germany. I'm working with Dr. Marcel Böhme in the Software Security group. My research interest lies in program analysis and software testing. The overarching objective of my research is making program analysis scalable by addressing the challenges associated with the scale and complexity of software systems and achieving practical software testing in real-world scenarios. I utilize 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. I got my Ph.D. in Computation Intelligence and Software Engineering Lab (COINSE) at KAIST, advised by Dr. Shin Yoo in 2022.
Job Market: "I am actively exploring opportunities for roles in academia (tenure-track faculty) and industry (research scientist). If you have any questions or opportunities, please don't hesitate to reach out!"
Contact
-
seongmin.lee [at] mpi-sp.org
-
MPI-SP, Universitätsstraße 110, 44799 Bochum, Nordrhein-Westfalen, Germany
Education
-
Integrated Master's & Ph.D in School of Computing, KAIST
- Title: Statistical Program Dependence ApproximationSep. 2016 - Aug. 2022
-
B.S. in School of Computing, KAIST
(Double major: Department of Mathematical Sciences)
Feb. 2012 - Aug. 2016
News
-
2025-04 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! 🎉
-
2025-01 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.2024-12 I have been invited to serve as a program committee member for the International Conference on Software Engineering (ICSE) 2026 and the 1st International Workshop on Large Language Model-Oriented Empirical Research (LLanMER 2025).2024-09 My final work during my Ph.D. at KAIST, "Causal Program Dependence Analysis," has been accepted to Science of Computer Programming (SCP) journal!2024-08 I have been honored with the Distinguished Artifact Reviewer Award at USENIX Security 2024!2024-07 Our paper ""Accounting for Missing Events in Statistical Information Leakage Analysis," has been directly accepted in the first round at ICSE 2025! 🎉 This year, ICSE 1st round has marked roughly 9% of papers as Accept and 13% as major revisions.2024-05 I participated in Fuzzing and Software Security Summer School @ National University of Singapore (NUS) and presented a talk as a part of Dr. Marcel Böhme's lecture on the predictability of fuzzing. The slides are available here.2024-05 I have been invited to serve as a program committee member for the 3rd International Fuzzing Workshop (FUZZING'24) and the 24th IEEE International Conference on Source Code Analysis and Manipulation (SCAM 2024).2024-01 I presented an invited talk at KAIST and UNIST on "Statistical Program Analysis". The slides are available here.2024-01 I received the CASA Jump.Start Post-Doctoral Fellowship from CASA - Cyber Security in the Age of Large-Scale Adversaries with a research proposal on "Statistical Security Analysis for Large, Evolving Software!"2023-12 I have been invited to serve as a program committee member for ISSTA 2024 and ECOOP 2024 (both the main track and artifact evaluation track).2023-12 Our paper "Extrapolating coverage rate in greybox fuzzing" has been accepted to ICSE 2024!2023-09 I presented an invited talk at Sheffield Causality and Testing Workshop on "Causal Program Dependence Analysis".2023-05 I have been invited to serve as a program committee member for ASE 2023.2023-05 Our paper "Statistical Reachability Analysis" has been accepted to ESEC/FSE 2023!2022-09 I graduated from KAIST with a Ph.D. degree, and joined MPI-SP as a postdoctoral researcher.2022-08 I presented an invited talk at Handong Global University on "Statistical Program Dependence Analysis".2022-03 I successfully defended my Ph.D. thesis.
Publications
-
* More publications are available in my
Google Scholar.
-
How Much is Unseen Depends Chiefly on Information About the Seen
The Thirteenth International Conference on Learning Representations (ICLR), 2025, 🌟Spotlight
-
-
Accounting for Missing Events in Statistical Information Leakage Analysis
IEEE/ACM International Conference on Software Engineering (ICSE), 2025
-
-
Extrapolating coverage rate in greybox fuzzing
IEEE/ACM International Conference on Software Engineering (ICSE), 2024
-
Statistical Reachability Analysis
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023
-
Observation-based approximate dependency modeling and its use for program slicing
Journal of Systems and Software (JSS), 2021
-
Effectively sampling higher order mutants using causal effect
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2021
-
Scalable and approximate program dependence analysis
IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2020
-
-
MOAD: Modeling observation-based approximate dependency
International Working Conference on Source Code Analysis and Manipulation (SCAM), 2019
-
Classifying false positive static checker alarms in continuous integration using convolutional neural networks
IEEE Conference on Software Testing, Validation and Verification (ICST), 2019
-
PyGGI: Python General framework for Genetic Improvement
Korea Software Congress (KSC), 2017
-
Hyperheuristic Observation Based Slicing of Guava
International Symposium on Search Based Software Engineering (SSBSE), 2017
-
Amortised deep parameter optimisation of GPGPU work group size for OpenCV
International Symposium on Search Based Software Engineering (SSBSE), 2016
2025
2024
2023
2021
2020
2019
2018
2017
2016Services
Academic Services
-
Program committee:
- Main Track: ICSE'26, FUZZING'25, LLanMER'25, CauSE'25, ASE'24, ISSTA'24, FUZZING'24, SCAM'24, ASE'23
- Artifact Evaluation Track: ISSTA'24, ECOOP'24, USENIX Security'24, ICSE'24, ISSTA'23, ICSME'22, ICSME'21
- Tool Demonstration Track: ISSTA'25, ASE'24
- Student Research Competition Track: FSE'24
- Reviewer: TOSEM'24, TSE'24, IST'24, ASE'24, TOSEM'22, JSS'20, JSS'21 / (External) ICSE'24, FSE'24, ECOOP'24, ISSTA'23, ICSE'23
Institutional Service
Early Career Researcher (ECR) Board
CASA – Cyber Security in the Age of Large-Scale Adversaries · 2024 – Present
The ECR Board decides all funding allocations for the CASA Graduate School (CGS). The board has its own budget and the autonomy to dynamically adapt the programs to the changing needs of ECR members. Representing ECRs in CASA governance, the board organizes activities and meets quarterly to address priorities.
Open Science Ambassador
Max Planck Institute for Security and Privacy · 2023 – Present
As representatives of the institute, Open Science Ambassadors raise awareness and provide valuable information to their colleagues about Open Science practices. They meet annually, in person or online, to discuss strategies, participate in workshops, and evaluate the status of Open Science within and beyond the Society. View current ambassadors ↗
Awards & Honors
- Distinguished Artifact Reviewer Award, USENIX Security, 2024
- PhD Dissertation Award, School of Computing, KAIST, 2022 - Title: Statistical Program Dependence Approximation
- Naver Ph.D. Fellowship Award, NAVER Corp., 2021 - Awarded by NAVER Corp. to Ph.D. candidates who have published an outstanding research paper or have excellent publication performance.
- Government-sponsored Scholarship, Ministry of Science and ICT of Korea, 2016 - 2022
- Government-sponsored Scholarship, Ministry of Science and ICT of Korea, 2012 - 2016
Invited Talks
-
🌟Invited Tutorial: "The Magic of Statistics for Software Testing: How to Foresee the Unseen,"
18th International Workshop on Search-Based and Fuzz Testing (SBFT'25) , 2025
-
Open Peer Review in ICLR'25 [Slides]
Open Science Ambassador Meeting, Max Planck Society, 2025
-
Magic of Statistics for Software Testing: How to Foreseen the Unseens
Korea University, 2025 -
On the Surprising Efficiency, Scalability, and Predictability of Greybox Fuzzing [Slides], [Notebook]
Fuzzing and Software Security Summer School @ National University of Singapore, 2024- Responsible for a part of Dr. Marcel Böhme's lecture and live coding session on the predictability of fuzzing.
-
Statistical Program Analysis [Slides]
Korea Advanced Institute of Science and Technology (KAIST) & Ulsan National Institute of Science and Technology (UNIST), 2024 -
Causal Program Dependence Analysis
Sheffield Causality and Testing Workshop, 2023 -
Statistical program dependence analysis
Handong Global University, 2022 -
Observation-based approximate dependency modeling and its use for program slicing
Korea Conference on Software Engineering, 2022 -
MOBS: Multi-Operator Observation-Based Slicing using Lexical Approximation of Program Dependence
59th CREST Open Workshop - Multi-language Software Analysis, 2018
Teaching Experiences
- Course Co-Lecturer (w/ Dr. Flavio Toffalini and Dr. Yannic Noller), Advanced Automatic Testing, Faculty of Computer Science, Ruhr University Bochum, Spring 2025
- Course Co-Lecturer (w/ Dr. Marcel Böhme and Ardi Madadi), MPI Reading Group on Software Security, Faculty of Computer Science, Ruhr University Bochum, Spring 2025
- Teaching Assistant, Automated Software Testing (CS453), School of Computing, KAIST, Spring 2019
- Teaching Assistant, Artificial Intelligence Based Software Engineering (CS454), School of Computing, KAIST, Fall 2018
- Teaching Assistant, Introduction to Logic for Computer Science (CS402), School of Computing, KAIST, Spring 2018
- Teaching Assistant, Artificial Intelligence Based Software Engineering (CS454), School of Computing, KAIST, Fall 2017
- Teaching Assistant, Introduction to Logic for Computer Science (CS402), School of Computing, KAIST, Spring 2017
- Teaching Assistant, Special Topics in Computer Science ⟨Search Based Software Engineering⟩ (CS492), School of Computing, KAIST, Fall 2016