Design and implementation of sparse global analyses for C-like languages. - Hakjoo Oh; Kihong Heo; Wonchan Lee; Woosuk Lee; Kwangkeun Yi (PLDI, 2012)

Selective context-sensitivity guided by impact pre-analysis. - Hakjoo Oh; Wonchan Lee; Kihong Heo; Hongseok Yang; Kwangkeun Yi (PLDI, 2014)

A sparse evaluation technique for detailed semantic analyses. - Yoonseok Ko; Kihong Heo; Hakjoo Oh (Comput. Lang. Syst. Struct., 2014)

Global Sparse Analysis Framework. - Hakjoo Oh; Kihong Heo; Wonchan Lee; Woosuk Lee; Daejun Park 001; Jeehoon Kang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2014)

Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. - Kihong Heo; Hakjoo Oh; Hongseok Yang (SAS, 2016)

Automatically generating features for learning program analysis heuristics. - Kwonsoo Chae; Hakjoo Oh; Kihong Heo; Hongseok Yang (CoRR, 2016)

Widening with thresholds via binary search. - Sol Kim; Kihong Heo; Hakjoo Oh; Kwangkeun Yi (Softw. Pract. Exp., 2016)

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. - Hakjoo Oh; Wonchan Lee; Kihong Heo; Hongseok Yang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2016)

Machine-learning-guided selectively unsound static analysis. - Kihong Heo; Hakjoo Oh; Kwangkeun Yi (ICSE, 2017)

Automatically generating features for learning program analysis heuristics for C-like languages. - Kwonsoo Chae; Hakjoo Oh; Kihong Heo; Hongseok Yang (Proc. ACM Program. Lang., 2017)

Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. - Kihong Heo; Hakjoo Oh; Kwangkeun Yi (Softw. Pract. Exp., 2017)

Sound Non-Statistical Clustering of Static Analysis Alarms. - Woosuk Lee; Wonchan Lee; Dongok Kang; Kihong Heo; Hakjoo Oh; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2017)

Effective Program Debloating via Reinforcement Learning. - Kihong Heo; Woosuk Lee; Pardis Pashakhanloo; Mayur Naik (CCS, 2018)

Accelerating search-based program synthesis using learned probabilistic models. - Woosuk Lee; Kihong Heo; Rajeev Alur; Mayur Naik (PLDI, 2018)

User-guided program reasoning using Bayesian inference. - Mukund Raghothaman; Sulekha Kulkarni; Kihong Heo; Mayur Naik (PLDI, 2018)

Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. - Kihong Heo; Hakjoo Oh; Hongseok Yang (Formal Methods Syst. Des., 2018)

Adaptive Static Analysis via Learning with Bayesian Optimization. - Kihong Heo; Hakjoo Oh; Hongseok Yang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2018)

Resource-aware program analysis via online abstraction coarsening. - Kihong Heo; Hakjoo Oh; Hongseok Yang (ICSE, 2019)

Synthesizing Datalog Programs using Numerical Relaxation. - Xujie Si; Mukund Raghothaman; Kihong Heo; Mayur Naik (IJCAI, 2019)

Continuously reasoning about programs using differential Bayesian inference. - Kihong Heo; Mukund Raghothaman; Xujie Si; Mayur Naik (PLDI, 2019)

Boosting static analysis accuracy with instrumented test executions. - Tianyi Chen; Kihong Heo; Mukund Raghothaman (ESEC/SIGSOFT FSE, 2021)

PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. - Pardis Pashakhanloo; Aravind Machiry; Hyon-Young Choi; Anthony Canino; Kihong Heo; Insup Lee 001; Mayur Naik (AsiaCCS, 2022)

TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities. - Wooseok Kang; Byoungho Son; Kihong Heo (CCS, 2022)

Learning Probabilistic Models for Static Analysis Alarms. - Hyunsu Kim; Mukund Raghothaman; Kihong Heo (ICSE, 2022)

DAFL: Directed Grey-box Fuzzing guided by Data Dependency. - Tae Eun Kim; Jaeseung Choi 002; Kihong Heo; Sang Kil Cha (USENIX Security Symposium, 2023)

Translation Validation for JIT Compiler in the V8 JavaScript Engine. - Seungwan Kwon; Jaeseong Kwon; Wooseok Kang; Juneyoung Lee; Kihong Heo (ICSE, 2024)

Evaluating Directed Fuzzers: Are We Heading in the Right Direction? - Tae Eun Kim; Jaeseung Choi 002; Seongjae Im; Kihong Heo; Sang Kil Cha (Proc. ACM Softw. Eng., 2024)

Optimization-Directed Compiler Fuzzing for Continuous Translation Validation. - Jaeseong Kwon; Bongjun Jang; Juneyoung Lee; Kihong Heo (Proc. ACM Program. Lang., 2025)

UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions. - Sujin Jang; Yeonhee Ryou; Heewon Lee; Kihong Heo (Proc. ACM Softw. Eng., 2025)

Improving Fault Localization with External Oracle by Using Counterfactual Execution. - Jongchan Park; Tae Eun Kim; Dongsun Kim 001; Kihong Heo (ACM Trans. Softw. Eng. Methodol., 2025)

Safeguarding Mobile GUI Agent via Logic-based Action Verification. - Jungjae Lee; Dongjae Lee; Chihun Choi; Youngmin Im; Jaeyoung Wi; Kihong Heo; Sangeun Oh; Sunjae Lee; Insik Shin (CoRR, 2025)