Seongmin Lee

PhD Candidate
School of Computing
Korea Advanced Institute of Science and Technology
291 Daehak Ro, Yuseong Gu
Daejeon 34141
Republic of Korea

bohrok@kaist.ac.kr   CV

Research Interests

Program analysis, Dependence Analysis, Software Testing, Genetic Improvement, and any other interesting topics on Software engineering

Education

• Bachelor of Engineering, Computer Science
  Bachelor of Natural Science, Mathematics
  
  • Korea Advanced Institute of Science and Technology, Republic of Korea, Feb. 2012 - Jul. 2016

Publication

Google Scholar

Journal

• Observation-based approximate dependency modeling and its use for program slicing
  Seongmin Lee, David Binkley, Robert Feldt, Nicolas Gold, Shin Yoo
  Journal of Systems and Software (JSS), 2021 [ScienceDirect]
• Evaluating Lexical Approximation of Program Dependence
  Seongmin Lee, David Binkley, Nicolas Gold, Syed Islam, Jens Krinke, Shin Yoo
  Journal of Systems and Software (JSS), 2020 [ScienceDirect] [Presentation]

Conference & Workshop

• Effectively Sampling Higher Order Mutants Using Causal EffectShort
  Saeyoon Oh, Seongmin Lee, Shin Yoo
  The 16th International Workshop on Mutation Analysis (MUTATION '21) [arXiv]
• Scalable and Approximate Program Dependence AnalysisDoctoral Symposium
  Seongmin Lee
  42th International Conference on Software Engineering: Companion Proceedings (ICSE '20) [ACM DL]
• MOAD: Modeling Observation-based Approximate DependencyFull
  Seongmin Lee, David Binkley, Robert Feldt, Nicolas Gold, Shin Yoo
  19th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM '19) [IEEE Xplore DL] [Presentation]
• Classifying False Positive Static Checker Alarms In Continuous Integration Using Convolutional Neural NetworksIndustry
  Seongmin Lee, Shin Hong, Jungbae Yi, Taeksu Kim, Chul-Joo Kim, Shin Yoo
  12th IEEE International Conference on Software Testing, Verification and Validataion (ICST '19) [IEEE Xplore DL]
• MOBS: Multi-operator Observation-Based Slicing using lexical approximation of program dependencePoster
  Seongmin Lee, David Binkley, Nicolas Gold, Syed Islam, Jens Krinke, Shin Yoo
  40th International Conference on Software Engineering: Companion Proceedings (ICSE '18) [ACM DL]
• PyGGI: Python General framework for Genetic ImprovementShort
  Gabin An, Jinhan Kim, Seongmin Lee, Shin Yoo
  Proceedings of Korea Software Congress. [pdf]
• Hyperheuristic Observation Based Slicing of Guava.Short
  Seongmin Lee, Shin Yoo
  9th International Symposium on Search Based Software Engineering (SSBSE '17) [Springer] [Presentation]
• Amortised Deep Parameter Optimisation of GPGPU Work Group Size for OpenCV.Short
  Jeongju Sohn, Seongmin Lee, Shin Yoo
  8th International Symposium on Search Based Software Engineering (SSBSE '16) [Springer]

arXiv

• Causal Program Dependence Analysis
  Seongmin Lee, David Binkley, Robert Feldt, Nicolas Gold, Shin Yoo
  [arXiv]

Note

• Genetic Improvement @ ICSE 2020
  William B. Langdon, Westley Weimer, Justyna Petke, Erik Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael Gerten
  [ACM DL]

Current Projects

• MOAD: Modeling Observation-based Approximate Dependency
• CPDA: Causal Program Dependence Analysis

Past Projects

• Predicting variable type information in stripped binaries, National Security Research Institute
• Learning to classify false positive static analysis alerts, Samsung Electronics
• MOBS: Multi-Operator Observation-Based Slicing using Lexical Approximation of Program Dependence
• ‘LS-ORBS’: Accelerating the speed of program slicing technique ‘ORBS(Obsevation based slicing)’ by applying code distance during slicing.

Experience

• Research Assistant
  Computational Intelligence for Software Engineering Laboratory(COINSE), KAIST
  • Researched on parameter optimisation for ‘OpenCV’.
• Research Assistant
  Programming Language Research Group(PLRG), KAIST
  • Developed compiler translating C# to C++ with F#.
  • Developed frontend of Javascript Analysis Tool ‘SAFE(Scalable Analysis Framework for ECMAScript)’
• Game Designer and Developer
  Team madDefense
  • Designed defense genre smartphone game ‘madDefense’
  • Developed the game ‘madDefense’ with Unity.