Minseok Jeon

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Storage Devices

Object Oriented Concepts

Top Venues

Proc. ACM Program. Lang.

Inf. Softw. Technol.

ACM Trans. Program. Lang. Syst.

Publications

Minseok Jeon, Jihyeok Park, Hakjoo Oh
PL4XGL: A Programming Language Approach to Explainable Graph Learning. Proc. ACM Program. Lang. 8 (PLDI) (2024)
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)