me

Minseok Jeon (전민석)

Research Professor
Software Analysis Laboratory,
Dept. of Computer Science and Engineering,
College of Informatics, Korea University,
[Curriculum Vitae (CV)]

I will be joining DGIST (Daegu Gyeongbuk Institute of Science and Technology) as an Assistant Professor in the Department of Electrical Engineering and Computer Science starting in September 2025!

🎓 I am actively recruiting motivated graduate/undergraduate students and postdocs to join my research group at DGIST. If you are interested in working on programming languages, program synthesis, or related areas, please feel free to reach out at minseok_jeon@dgist.ac.kr!

About Me

I am a research professor 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, software engineering, and machine learning. I have developed DSLs for developing inherently explainable graph machine learning method and effective program analysis.

Research Interests

I am interested in designing domain-specific programming languages (DSLs) and developing program synthesis algorithms to address problems in various fiels. More specifically, my research aims to design domain-specific programming languages (DSLs) that can describe solutions to problems 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, software engineering, and machine learning.
  • Developing program synthesis algorithms for automatically generating programs (solutions) in DSLs.

Educational Background

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

Employed Positions

Publications

 

Academic Activities

Program Committee (PC) members

  • ICFP 2025: ACM SIGPLAN International Conference on Functional Programming
  • SOAP 2025: ACM SIGPLAN Workshop on the State of the Art of Program Analysis
  • OOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications

 

Talks

  • 성공적인 연구를 위한 문제 발견하기. 소프트웨어 분석 연구실 세미나, Korea University. Jul 18 2025 [slides]
  • 될 때까지 개선하기. SIGPL Summer School, Sungkyunkwan University. Aug. 23 2024 [slides]
  • PL4XGL: A Programming Language Approach to Explainable Graph Learning. Paper presentation at PLDI 2024. Copenhagen, Denmark. June 27 2024 [slides]
  • PL4XGL: 프로그래밍 언어 기법을 활용한 설명 가능한 그래프 기계학습 방법. KAIST (ProSysLab Seminar). May 03 2024 [slides]
  • Data-Driven Static Analysis. CSE GSAI Seminar. POSTECH. Nov 15 2023 [slides]
  • 그래프 패턴 언어를 활용하여 다양한 분야의 핵심 문제 접근하기. STAAR Workshop. KAIST. Jan 30 2024 [slides]
  • 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]

 

Project

  • (National Research Foundation of Korea) 설명 가능한 그래프 기계학습 방법 개발을 위한 프로그래밍 언어 기술 연구(Programming Language Technology for Explainable Graph Machine Learning), May 2024 ~ April 2029, Principal Investigator

  • Enough to Check Collatz Conjecture for 16k + 11 [paper]

 

Trips

  • PLDI 2024, Copenhagen, Denmark. 2024/June/24 - 2023/June/30.
  • ICSE 2023, Melbourne, Australia. 2023/May/13 - 2023/May/23.[photos]
  • POPL 2022, Philadelphia, USA. 2022/Jan/17 - 2022/Jan/23.[photos]
  • 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]