Sehun Jeong

According to our database, Sehun Jeong authored at least 10 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis.

Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh

ACM Trans. Program. Lang. Syst., 2019

2018

Precise and scalable points-to analysis via data-driven context tunneling.

Minseok Jeon, Sehun Jeong, Hakjoo Oh

Proc. ACM Program. Lang., 2018

A scalable learning algorithm for data-driven program analysis.

Sooyoung Cha, Sehun Jeong, Hakjoo Oh

Inf. Softw. Technol., 2018

2017

Data-driven context-sensitivity for points-to analysis.

Sehun Jeong, Minseok Jeon, Sung Deok Cha, Hakjoo Oh

Proc. ACM Program. Lang., 2017

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

Min-Je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Learning a Strategy for Choosing Widening Thresholds from a Large Codebase.

Sooyoung Cha, Sehun Jeong, Hakjoo Oh

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Generating various contexts from permissions for testing Android applications.

Kwangsik Song, Ah-Rim Han, Sehun Jeong, Sung Deok Cha

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

2011

FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs.

Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Testing of Safety-Critical Software Embedded in an Artificial Heart.

Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim

Proceedings of the Advances in Systems Safety, 2011

2010

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis.

Sehun Jeong, Junbeom Yoo, Sung Deok Cha

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010