Sehun Jeong

11 papers A* 1B 1C 4Journal 5
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis.
ACM Trans. Program. Lang. Syst.
Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh
2018 J jnl
A scalable learning algorithm for data-driven program analysis.
Inf. Softw. Technol.
Sooyoung Cha, Sehun Jeong, Hakjoo Oh
2018 J jnl
Precise and scalable points-to analysis via data-driven context tunneling.
Proc. ACM Program. Lang.
Minseok Jeon, Sehun Jeong, Hakjoo Oh
2017 J jnl
Data-driven context-sensitivity for points-to analysis.
Proc. ACM Program. Lang.
Sehun Jeong, Minseok Jeon, Sung Deok Cha, Hakjoo Oh
2017 A* conf
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks.
IJCAI
Minje Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo
2017 J jnl
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks.
CoRR
Minje Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo
2016 B conf
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase.
APLAS
Sooyoung Cha, Sehun Jeong, Hakjoo Oh
2015 C conf
Generating various contexts from permissions for testing Android applications.
SEKE
Kwangsik Song, Ah-Rim Han, Sehun Jeong, Sung Deok Cha
2011 C conf
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs.
SEKE
Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha
2011 C conf
Testing of Safety-Critical Software Embedded in an Artificial Heart.
SSS
Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim
2010 C conf
VIS Analyzer: A Visual Assistant for VIS Verification and Analysis.
ISORC
Sehun Jeong, Junbeom Yoo, Sung Deok Cha