Kihong Heo

According to our database, Kihong Heo authored at least 25 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

DAFL: Directed Grey-box Fuzzing guided by Data Dependency.

Tae Eun Kim, Jaeseung Choi, Kihong Heo, Sang Kil Cha

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Learning Probabilistic Models for Static Analysis Alarms.

Hyunsu Kim, Mukund Raghothaman, Kihong Heo

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities.

Wooseok Kang, Byoungho Son, Kihong Heo

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

PacJam: Securing Dependencies Continuously via Package-Oriented Debloating.

Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Boosting static analysis accuracy with instrumented test executions.

Tianyi Chen, Kihong Heo, Mukund Raghothaman

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2019

Continuously reasoning about programs using differential Bayesian inference.

Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Synthesizing Datalog Programs using Numerical Relaxation.

Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Resource-aware program analysis via online abstraction coarsening.

Kihong Heo, Hakjoo Oh, Hongseok Yang

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Adaptive Static Analysis via Learning with Bayesian Optimization.

Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 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

User-guided program reasoning using Bayesian inference.

Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Accelerating search-based program synthesis using learned probabilistic models.

Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Effective Program Debloating via Reinforcement Learning.

Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

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

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

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

Machine-learning-guided selectively unsound static analysis.

Kihong Heo, Hakjoo Oh, Kwangkeun Yi

Proceedings of the 39th International Conference on Software Engineering, 2017

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

Widening with thresholds via binary search.

Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi

Softw. Pract. Exp., 2016

Automatically generating features for learning program analysis heuristics.

Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang

CoRR, 2016

Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis.

Kihong Heo, Hakjoo Oh, Hongseok Yang

Proceedings of the Static Analysis - 23rd International Symposium, 2016

2014

Global Sparse Analysis Framework.

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2014

A sparse evaluation technique for detailed semantic analyses.

Yoonseok Ko, Kihong Heo, Hakjoo Oh

Comput. Lang. Syst. Struct., 2014

Selective context-sensitivity guided by impact pre-analysis.

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2012

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

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012