Kihong Heo

Effective Program Debloating via Reinforcement Learning

Kihong Heo, Woosuk Lee, Pardis Pashakhanloo et al. · 2018 · 121 citations · Full text

Software Maintenance, Engineering, Software Engineering +21

Design and implementation of sparse global analyses for C-like languages

Hakjoo Oh, Kihong Heo, Wonchan Lee et al. · 2012 · 84 citations

Global Static Analyzer, Engineering, Compiler Technology +23

Selective context-sensitivity guided by impact pre-analysis

Hakjoo Oh, Wonchan Lee, Kihong Heo et al. · 2014 · 78 citations

Engineering, Measurement, Safety Science +22

Accelerating search-based program synthesis using learned probabilistic models

Woosuk Lee, Kihong Heo, Rajeev Alur et al. · 2018 · 77 citations · Full text

Artificial Intelligence, Engineering, Sygus Benchmark Problems +16

Machine-Learning-Guided Selectively Unsound Static Analysis

Kihong Heo, Hakjoo Oh, Kwangkeun Yi · 2017 · 51 citations

Engineering, Machine Learning, Software Engineering +17