Minseok Jeon

Data-driven context-sensitivity for points-to analysis

Sehun Jeong, Minseok Jeon, Sungdeok Cha et al. · Proceedings of the ACM on Programming Languages · 2017 · 63 citations · Full text

Engineering, Software Engineering, Source Code Analysis +25

Precise and scalable points-to analysis via data-driven context tunneling

Minseok Jeon, Sehun Jeong, Hakjoo Oh · Proceedings of the ACM on Programming Languages · 2018 · 37 citations · Full text

Engineering, Context Awareness, Software Analysis +20

Learning graph-based heuristics for pointer analysis without handcrafting application-specific features

Minseok Jeon, Myungho Lee, Hakjoo Oh · Proceedings of the ACM on Programming Languages · 2020 · 25 citations · Full text

Context Sensitivity, Engineering, Visual Programming Language +20

A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis

Minseok Jeon, Sehun Jeong, Sungdeok Cha et al. · ACM Transactions on Programming Languages and Systems · 2019 · 21 citations

Program Checking, Engineering, Learning Algorithm +22

Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs

Minseok Jeon, Hakjoo Oh · Proceedings of the ACM on Programming Languages · 2022 · 14 citations · Full text

Engineering, Object-oriented Modeling, Software Engineering +24