Sehun Jeong

Research Interests

Software engineering, data-driven program analysis, machine learning

Publications

• Minseok Jeon*, Sehun Jeong*, Sungdeok Cha, Hakjoo Oh, "A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis", ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 41, Issue 2, Article No. 13, June 2019, ISSN 0164-0925 (*contributed equally) [paper]
• Sooyoung Cha, Sehun Jeong, Hakjoo Oh, "A Scalable Learning Algorithm for Data-Driven Program Analysis", Information and Software Technology (IST), Volume 104, Pages 1-13, December 2018, ISSN 0950-5849 [paper]
• Minseok Jeon, Sehun Jeong, Hakjoo Oh, "Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling", Object-Oriented Programming, Systems, Languages, and Applications 2018 (OOPSLA 2018), Boston, USA, Nov. 4-9, 2018 [paper][slides][poster][artifact]
• Sehun Jeong*, Minseok Jeon*, Sungdeok Cha, Hakjoo Oh, "Data-Driven Context-Sensitivity for Points-to Analysis", Object-Oriented Programming, Systems, Languages, and Applications 2017 (OOPSLA 2017), Vancouver, Canada, Oct. 22-27, 2017 (*contributed equally)[paper][slides][poster][artifact]
• Min-je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo, "End-to-end Prediction of Buffer overruns from Raw Source Code via Neural Memory Networks", International Joint Conference on Artificial Intelligence 2017 (IJCAI 2017), Melbourne, Australia, Aug. 19-25, 2017 [paper]
• Sooyoung Cha, Sehun Jeong, Hakjoo Oh, "Learning a Strategy for Choosing Widening Thresholds from a Large Codebase", Asian Symposium on Programming Languages and Systems 2016 (APLAS 2016), Hanoi, Vietnam, Nov. 21-13, 2016 [paper]
• Kwangsik Song, Ah-Rim Han, Sehun Jeong, Sungdeok Cha, "Generating various contexts from permissions for testing Android applications", Conference on Software Engineering and Knowledge Engineering 2015 (SEKE 2015), Pittsburgh, USA, Jul. 6-8, 2015 [paper]
• Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, "FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs", Software Engineering and Kowledge Engineering 2011 (SEKE 2011), Miami, USA, Jul. 7-9, 2011 [paper]
• Sungdeok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim, "Testing of Safety-Critical Software Embedded in an Artificial Heart", Safety-critical Systems Symposium 2011 (SSS 2011), London, UK, Feb. 8-10, 2011
• Sehun Jeong, Junbeom Yoo, Sungdeok Cha, "VIS Analyzer: A Visual Assistant for VIS Verification and Analysis", International Symposium on Object/Component/Service-Oriented Real-Time Distribution Computing 2010 (ISORC 2010), Carmona, Spain, May 5-6, 2010

Talks

• Data-Driven Context-Sensitivity for Points-to Analysis, Object-Oriented Programming, Systems, Languages, and Applications(OOPSLA), Oct. 27, 2017. [slides][youtube]

Services

• Referee, ACM Transactions on Programming Languages and Systems (TOPLAS)
• Committee member, Artifact Evaluation Committee for SPLASH 2019 Artifact Evaluation [link]
• Committee member, Artifact Evaluation Committee for Static Analysis Symposium 2019 Artifact Evaluation [link]
• Committee member, Artifact Evaluation Committee for SPLASH 2018 Artifact Evaluation [link]

Trips

• Object-Oriented Programming, Systems, Languages, and Applications(OOPSLA), Boston, USA, Nov. 4-9, 2018. [photos] [report]
• Object-Oriented Programming, Systems, Languages, and Applications(OOPSLA), Vancouver, Canada, Oct. 22-27, 2017.
• Asian Symposium on Programming Languages and Systems(APLAS), Hanoi, Vietnam, Nov. 21-23, 2016.

Awards

• Research scholarship, Korea University, 2017.
• One-year scholarship, Mirae Asset Park Hyeon Joo Foundation, 2009.