Kihong Heo

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 24

Top Topics

Static Analysis

Bayesian Inference

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Seungwan Kwon, Jaeseong Kwon, Wooseok Kang, Juneyoung Lee, Kihong Heo
Translation Validation for JIT Compiler in the V8 JavaScript Engine. ICSE (2024)
Tae Eun Kim, Jaeseung Choi, Seongjae Im, Kihong Heo, Sang Kil Cha
Evaluating Directed Fuzzers: Are We Heading in the Right Direction? Proc. ACM Softw. Eng. 1 (FSE) (2024)
Tae Eun Kim, Jaeseung Choi, Kihong Heo, Sang Kil Cha
DAFL: Directed Grey-box Fuzzing guided by Data Dependency. USENIX Security Symposium (2023)
Hyunsu Kim, Mukund Raghothaman, Kihong Heo
Learning Probabilistic Models for Static Analysis Alarms. ICSE (2022)
Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik
PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. AsiaCCS (2022)
Wooseok Kang, Byoungho Son, Kihong Heo
TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities. CCS (2022)
Tianyi Chen, Kihong Heo, Mukund Raghothaman
Boosting static analysis accuracy with instrumented test executions. ESEC/SIGSOFT FSE (2021)
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
Synthesizing Datalog Programs using Numerical Relaxation. IJCAI (2019)
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
Synthesizing Datalog Programs Using Numerical Relaxation. CoRR (2019)
Kihong Heo, Hakjoo Oh, Hongseok Yang
Resource-aware program analysis via online abstraction coarsening. ICSE (2019)
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
Continuously reasoning about programs using differential Bayesian inference. PLDI (2019)
Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
Adaptive Static Analysis via Learning with Bayesian Optimization. ACM Trans. Program. Lang. Syst. 40 (4) (2018)
Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik
Effective Program Debloating via Reinforcement Learning. CCS (2018)
Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik
Accelerating search-based program synthesis using learned probabilistic models. PLDI (2018)
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
User-guided program reasoning using Bayesian inference. PLDI (2018)
Kihong Heo, Hakjoo Oh, Hongseok Yang
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. Formal Methods Syst. Des. 53 (2) (2018)
Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
Automatically generating features for learning program analysis heuristics for C-like languages. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. Softw. Pract. Exp. 47 (11) (2017)
Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Machine-learning-guided selectively unsound static analysis. ICSE (2017)
Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Sound Non-Statistical Clustering of Static Analysis Alarms. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Trans. Program. Lang. Syst. 38 (2) (2016)
Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
Automatically generating features for learning program analysis heuristics. CoRR (2016)
Kihong Heo, Hakjoo Oh, Hongseok Yang
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. SAS (2016)
Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Widening with thresholds via binary search. Softw. Pract. Exp. 46 (10) (2016)
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. 36 (3) (2014)
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
Selective context-sensitivity guided by impact pre-analysis. PLDI (2014)
Yoonseok Ko, Kihong Heo, Hakjoo Oh
A sparse evaluation technique for detailed semantic analyses. Comput. Lang. Syst. Struct. 40 (3-4) (2014)
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
Design and implementation of sparse global analyses for C-like languages. PLDI (2012)