Sehun Jeong

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

End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks

Minje Choi, Sehun Jeong, Hakjoo Oh et al. · 2017 · 56 citations · Full text

Engineering, Machine Learning, Neural Memory Networks +22

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

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

End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks

Minje Choi, Sehun Jeong, Hakjoo Oh et al. · arXiv (Cornell University) · 2017 · 13 citations · Full text

Engineering, Machine Learning, Neural Memory Networks +23