Publications
Programming languages research in premier conferences (KDD 2026, OOPSLA 2025, PLDI 2024, POPL 2022, OOPSLA 2020, OOPSLA 2018, OOPSLA 2017) and journals (TOPLAS 2019, IST 2021)
ProgNet: Program-Grounded Evidence Composition for Interpretable Graph Classification
Minseok Jeon, Seunghyun Park, and Jun-Gi Jang
KDD 2026: The 32nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining · Aug. 2026
PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns
Donguk Kim, Minseok Jeon*, Doha Hwang, and Hakjoo Oh* (*corresponding authors)
OOPSLA 2025: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications · Oct. 2025
PL4XGL: A Programming Language Approach to Explainable Graph Learning
Minseok Jeon, Jihyeok Park, and Hakjoo Oh
PLDI 2024: ACM SIGPLAN Conference on Programming Language Design and Implementation · Jun. 2024
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) · Apr. 2023
Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs
Minseok Jeon and Hakjoo Oh
POPL 2022: The 49th ACM SIGPLAN Symposium on Principles of Programming Languages · Jan. 2022
A Practical Algorithm for Learning Disjunctive Abstraction Heuristics in Static Program Analysis
Donghoon Jeon, Minseok Jeon, and Hakjoo Oh
IST: Information and Software Technology · Jul. 2021
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 · Nov. 2020
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis
Minseok Jeon*, Sehun Jeong*, Sungdeok Cha, and Hakjoo Oh (*co-first authors)
TOPLAS: ACM Transactions on Programming Languages and Systems · Jun. 2019
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 · Nov. 2018
Data-Driven Context-Sensitivity for Points-to Analysis
Sehun Jeong*, Minseok Jeon*, Sungdeok Cha, and Hakjoo Oh (*co-first authors)
OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications · Oct. 2017