2026
ProgNet: Program-Grounded Evidence Composition for Interpretable Graph Classification (Accepted)
Minseok Jeon, Seunghyun Park, Jun-Gi Jang
KDD 2026: 32nd SIGKDD Conference on Knowledge Discovery and Data Mining
2025
PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns
Donguk Kim, Minseok Jeon*, Doha Hwang, Hakjoo Oh* (*corresponding authors)
OOPSLA 2025: ACM Conference on Object-oriented Programming, Systems, Languages, and Applications
PDF ACM DL
2024
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
PDF ACM DL Slides Repo 연구후기
2023
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics
Jinkook Kim, Minseok Jeon, Sejeong Jang, and Hakjoo Oh
ICST 2023: International Conference on Software Testing, Verification and Validation (Industry Track)
PDF IEEE Xplore
2022
Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs
Minseok Jeon and Hakjoo Oh
POPL 2022: ACM SIGPLAN Symposium on Principles of Programming Languages
PDF ACM DL Slides Repo 연구후기
2021
A Practical Algorithm for Learning Disjunctive Abstraction Heuristics in Static Program Analysis
Donghoon Jeon, Minseok Jeon, and Hakjoo Oh
IST 2021: Information and Software Technology, Volume 135, July 2021
ScienceDirect
2020
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 ACM DL Slides Repo
2019
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 2019: ACM Transactions on Programming Languages and Systems
PDF ACM DL
2018
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
PDF ACM DL Slides Artifact
2017
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
PDF ACM DL Slides Repo