Postdoctoral Researchers
Software Analysis Lab
Computer Science Department
College of Informatics
Korea University
[cv] [website]

I am a postdoctoral researcher at Korea University. I received my Ph.D. from Software Analysis Laboratory at Korea University under the supervision of Prof. Hakjoo Oh. I enjoy developing domain-specific languages (DSLs) (along with DSL program synthesis algorithms) to address various challenges in programming languages and software engineering. I have developed DSLs for developing effective pointer analysis and software testing.

I am interested in designing domain-specific programming languages (DSLs) and developing program synthesis algorithms to address problems in programming languages and software engineering. More specifically, my research aims to design domain-specific programming languages (DSLs) that can describe solutions for given programming problems in languages or software engineering, and develop program synthesis algorithms to automatically find these solutions in the DSLs.

• Designing domain-specific languages (DSLs) tailored to tackle challenges in programming languages and software engineering.
• Developing program synthesis algorithms for automatically generating programs (solutions) in DSLs.

In particular, my focus is on designing DSLs and synthesis algorithms for effective pointer analysis, a key component in compiler optimization. Additionally, I am interested in developing DSLs tailored to identify effective test cases in system software testing.

• 2017.03 ~ 2023.02, Integrated M.S. & Ph.D. in Computer Science and Engineering. Korea University
  • Advisor: Hakjoo Oh
• 2011.03 ~ 2017.02, B.S. Dept. of Computer Science, Korea University

2023.02 ~ Present - Postdoctoral Researcher, Software Analysis Laboratory, Korea University

• PL4XGL: A Programming Language Approach to Explainable Graph Learning
  Minseok Jeon, Jihyeok Park, and Hakjoo Oh
  PLDI 2024: 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
  [pdf]

• Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics
  Jinkook Kim, Minseok Jeon, Sejeong Jang, and Hakjoo Oh
  ICST 2023: IEEE International Conference on Software Testing, Verification and Validation (Industry Track)
  [pdf]

• Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs
  Minseok Jeon and Hakjoo Oh
  POPL 2022: 49th ACM SIGPLAN Symposium on Principles of Programming Languages
  [pdf] [artifact]

• A Practical Algorithm for Learning Disjunctive Abstraction Heuristics in Static Program Analysis
  Donghoon Jeon, Minseok Jeon, and Hakjoo Oh
  Information and Software Technology. Volume 135
  [publication]

• Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features
  Minseok Jeon, Myungho Lee, and Hakjoo Oh
  OOPSLA 2020: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  [pdf]

• A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis
  Minseok Jeon*, Sehun Jeong*, Sungdeok Cha, and Hakjoo Oh (* contributed equally)
  TOPLAS: ACM Transactions on Programming Languages and Systems
  [pdf]

• Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
  Minseok Jeon, Sehun Jeong, and Hakjoo Oh
  OOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  [publication] [pdf]

• Data-Driven Context-Sensitivity for Points-to Analysis
  Sehun Jeong*, Minseok Jeon*, Sungdeok Cha, and Hakjoo Oh (* contributed equally)
  OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  [publication] [pdf] [slides] [poster]

• OOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications

• Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs. Paper presentation at POPL 2022. STAAR Workshop. Jeju. Feb 11 2022 [slides]
• Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs. Paper presentation at POPL 2022. Philadelphia, USA. Jan 19 2022 [slides]
• Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features. Paper presentation at OOPLSA 2020, Online Nov. 20 2020. [slides]
• Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling. Paper presentation at OOPSLA2018. BOSTON, USA. NOV 8 2018 [slides]
• Data-Driven Context-Sensitivity for Points-to Analysis. KCSE2018. Jan 2018 [slides]

• Bachelor Degree Project : Enough to check Collatz Conjecture for 16k+11 [pdf]

• ICSE 2023, Melbourne, Australia. 2023/May/13 - 2023/May/23.
• POPL 2022, Philadelphia, USA. 2022/Jan/17 - 2022/Jan/23.
• OOPSLA 2019, Athens, Greece. 2019/Oct/20 - 2019/Oct/26.
• OOPSLA 2018, Boston, USA. 2018/Nov/4 - 2018/Nov/11. [photos]
• OOPSLA 2017, Vancouver, Canada. 2017/Oct/23 - 2017/Oct/27. [photos]