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 | 68 | 2017 |
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 | 41 | 2018 |
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 | 22 | 2020 |
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 | 19 | 2019 |
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 | 10 | 2022 |
Data-driven context-sensitivity for points-to analysis. PACMPL 1, OOPSLA (2017), 100: 1–100: 28 S Jeong, M Jeon, SD Cha, H Oh | 7 | 2017 |
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 |