Follow
Minseok Jeon
Minseok Jeon
Verified email at korea.ac.kr - Homepage
Title
Cited by
Cited by
Year
Data-driven context-sensitivity for points-to analysis
S Jeong, M Jeon, S Cha, H Oh
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
652017
Precise and scalable points-to analysis via data-driven context tunneling
M Jeon, S Jeong, H Oh
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
382018
Learning graph-based heuristics for pointer analysis without handcrafting application-specific features
M Jeon, M Lee, H Oh
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
192020
A machine-learning algorithm with disjunctive model for data-driven program analysis
M Jeon, S Jeong, S Cha, H Oh
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-41, 2019
162019
Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs
M Jeon, H Oh
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
82022
Data-driven context-sensitivity for points-to analysis. PACMPL 1, OOPSLA (2017), 100: 1–100: 28
S Jeong, M Jeon, SD Cha, H Oh
72017
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics
J Kim, M Jeon, S Jang, H Oh
2023 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2023
2023
A practical algorithm for learning disjunctive abstraction heuristics in static program analysis
D Jeon, M Jeon, H Oh
Information and Software Technology 135, 106564, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–8