C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Minseok Jeon
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 7
Top Topics
Specific Features
Learning Speed
Greedy Heuristic
Statistical Analysis
Top Venues
Proc. ACM Program. Lang.
ICST
Inf. Softw. Technol.
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
Jinkook Kim
,
Minseok Jeon
,
Sejeong Jang
,
Hakjoo Oh
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics.
ICST
(2023)
Minseok Jeon
,
Hakjoo Oh
Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs.
Proc. ACM Program. Lang.
6 (POPL) (2022)
Donghoon Jeon
,
Minseok Jeon
,
Hakjoo Oh
A practical algorithm for learning disjunctive abstraction heuristics in static program analysis.
Inf. Softw. Technol.
135 (2021)
Minseok Jeon
,
Myungho Lee
,
Hakjoo Oh
Learning graph-based heuristics for pointer analysis without handcrafting application-specific features.
Proc. ACM Program. Lang.
4 (OOPSLA) (2020)
Minseok Jeon
,
Sehun Jeong
,
Sung Deok Cha
,
Hakjoo Oh
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis.
ACM Trans. Program. Lang. Syst.
41 (2) (2019)
Minseok Jeon
,
Sehun Jeong
,
Hakjoo Oh
Precise and scalable points-to analysis via data-driven context tunneling.
Proc. ACM Program. Lang.
2 (OOPSLA) (2018)
Sehun Jeong
,
Minseok Jeon
,
Sung Deok Cha
,
Hakjoo Oh
Data-driven context-sensitivity for points-to analysis.
Proc. ACM Program. Lang.
1 (OOPSLA) (2017)