| 2025 | MOBICOM | VeriSafe Agent: 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 |
| 2024 | ICSE | Translation Validation for JIT Compiler in the V8 JavaScript Engine. | Seungwan Kwon, Jaeseong Kwon, Wooseok Kang, Juneyoung Lee, Kihong Heo |
| 2022 | AsiaCCS | PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. | Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik |
| 2022 | CCS | TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities. | Wooseok Kang, Byoungho Son, Kihong Heo |
| 2022 | ICSE | Learning Probabilistic Models for Static Analysis Alarms. | Hyunsu Kim, Mukund Raghothaman, Kihong Heo |
| 2019 | IJCAI | Synthesizing Datalog Programs using Numerical Relaxation. | Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik |
| 2019 | ICSE | Resource-aware program analysis via online abstraction coarsening. | Kihong Heo, Hakjoo Oh, Hongseok Yang |
| 2019 | PLDI | Continuously reasoning about programs using differential Bayesian inference. | Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik |
| 2018 | CCS | Effective Program Debloating via Reinforcement Learning. | Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik |
| 2018 | PLDI | Accelerating search-based program synthesis using learned probabilistic models. | Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik |
| 2018 | PLDI | User-guided program reasoning using Bayesian inference. | Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik |
| 2017 | ICSE | Machine-learning-guided selectively unsound static analysis. | Kihong Heo, Hakjoo Oh, Kwangkeun Yi |
| 2016 | SAS | Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. | Kihong Heo, Hakjoo Oh, Hongseok Yang |
| 2014 | PLDI | Selective context-sensitivity guided by impact pre-analysis. | Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi |
| 2012 | PLDI | Design and implementation of sparse global analyses for C-like languages. | Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi |