Rounded Image PhD Student
Software Analysis Laboratory
Dept. of Computer Science
College of Informatics, Korea University
Email: minseok_jeon@korea.ac.kr
[CV]

Education

  • 2017.03 ~ present, Combined course. Dept.of Computer Science, Korea University
  • 2011.03 ~ 2017.02, B.S. Dept. of Computer Science, Korea University

Research Interests

My research interests include program analysis (especially static analysis) and machine learning for program analysis.
  • Program Analysis
  • Machine Learning

Publications

Talks

  • 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. KSC 2020. [video(korean)]
  • Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features. Paper presentation at OOPLSA 2020, Online Nov. 20 2020. [slides] [video]
  • 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. KCC2018. June 2018
  • Data-Driven Context-Sensitivity for Points-to Analysis. KCSE2018. Jan 2018 [slides]

Project

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

Trips

  • POPL 2022, Philadelphia, USA. 2022/Jan/17 - 2022/Jan/23. [report(Korean)]
  • OOPSLA 2019, Athens, Greece. 2019/Oct/20 - 2019/Oct/26. [report(Korean)]
  • OOPSLA 2018, Boston, USA. 2018/Nov/4 - 2018/Nov/11. [report(Korean)]
  • OOPSLA 2017, Vancouver, Canada. 2017/Oct/23 - 2017/Oct/27. [report(Korean)]