Sehun Jeong

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 8

Top Topics

Learning Algorithm

Plagiarism Detection

Version Control

Execution Traces

Top Venues

Proc. ACM Program. Lang.

Inf. Softw. Technol.

ACM Trans. Program. Lang. Syst.

Publications

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)
Sooyoung Cha, Sehun Jeong, Hakjoo Oh
A scalable learning algorithm for data-driven program analysis. Inf. Softw. Technol. 104 (2018)
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)
Min-Je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. IJCAI (2017)
Min-Je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. CoRR (2017)
Sooyoung Cha, Sehun Jeong, Hakjoo Oh
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. APLAS (2016)
Kwangsik Song, Ah-Rim Han, Sehun Jeong, Sung Deok Cha
Generating various contexts from permissions for testing Android applications. SEKE (2015)
Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. SEKE (2011)
Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim
Testing of Safety-Critical Software Embedded in an Artificial Heart. SSS (2011)
Sehun Jeong, Junbeom Yoo, Sung Deok Cha
VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. ISORC (2010)