Kihong Heo

34 papers A* 14A 1B 1Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Improving Fault Localization with External Oracle by Using Counterfactual Execution.
ACM Trans. Softw. Eng. Methodol.
Jongchan Park, Tae Eun Kim, Dongsun Kim, Kihong Heo
2025 J jnl
Optimization-Directed Compiler Fuzzing for Continuous Translation Validation.
Proc. ACM Program. Lang.
Jaeseong Kwon, Bongjun Jang, Juneyoung Lee, Kihong Heo
2025 — ed.
Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2025, Seoul, Republic of Korea, 16 June 2025
SOAP
Kihong Heo, Luca Negrini
2025 J jnl
Safeguarding Mobile GUI Agent via Logic-based Action Verification.
CoRR
Jungjae Lee, Dongjae Lee, Chihun Choi, Youngmin Im, Jaeyoung Wi, Kihong Heo, Sangeun Oh, Sunjae Lee, Insik Shin
2025 J jnl
UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions.
Proc. ACM Softw. Eng.
Sujin Jang, Yeonhee Ryou, Heewon Lee, Kihong Heo
2025 A* conf
VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification.
MobiCom
Jungjae Lee, Dongjae Lee, Chihun Choi, Youngmin Im, Jaeyoung Wi, Kihong Heo, Sangeun Oh, Sunjae Lee, Insik Shin
2024 J jnl
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Proc. ACM Softw. Eng.
Tae Eun Kim, Jaeseung Choi, Seongjae Im, Kihong Heo, Sang Kil Cha
2024 A* conf
Translation Validation for JIT Compiler in the V8 JavaScript Engine.
ICSE
Seungwan Kwon, Jaeseong Kwon, Wooseok Kang, Juneyoung Lee, Kihong Heo
2023 A* conf
DAFL: Directed Grey-box Fuzzing guided by Data Dependency.
USENIX Security Symposium
Tae Eun Kim, Jaeseung Choi, Kihong Heo, Sang Kil Cha
2022 A* conf
Learning Probabilistic Models for Static Analysis Alarms.
ICSE
Hyunsu Kim, Mukund Raghothaman, Kihong Heo
2022 A conf
PacJam: Securing Dependencies Continuously via Package-Oriented Debloating.
AsiaCCS
Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik
2022 A* conf
TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities.
CCS
Wooseok Kang, Byoungho Son, Kihong Heo
2021 — conf
Boosting static analysis accuracy with instrumented test executions.
ESEC/SIGSOFT FSE
Tianyi Chen, Kihong Heo, Mukund Raghothaman
2019 A* conf
Continuously reasoning about programs using differential Bayesian inference.
PLDI
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
2019 A* conf
Resource-aware program analysis via online abstraction coarsening.
ICSE
Kihong Heo, Hakjoo Oh, Hongseok Yang
2019 J jnl
Synthesizing Datalog Programs Using Numerical Relaxation.
CoRR
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
2019 A* conf
Synthesizing Datalog Programs using Numerical Relaxation.
IJCAI
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
2018 A* conf
Accelerating search-based program synthesis using learned probabilistic models.
PLDI
Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik
2018 J jnl
Adaptive Static Analysis via Learning with Bayesian Optimization.
ACM Trans. Program. Lang. Syst.
Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
2018 A* conf
Effective Program Debloating via Reinforcement Learning.
CCS
Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik
2018 J jnl
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses.
Formal Methods Syst. Des.
Kihong Heo, Hakjoo Oh, Hongseok Yang
2018 A* conf
User-guided program reasoning using Bayesian inference.
PLDI
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
2017 J jnl
Automatically generating features for learning program analysis heuristics for C-like languages.
Proc. ACM Program. Lang.
Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
2017 A* conf
Machine-learning-guided selectively unsound static analysis.
ICSE
Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2017 J jnl
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis.
Softw. Pract. Exp.
Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2017 J jnl
Sound Non-Statistical Clustering of Static Analysis Alarms.
ACM Trans. Program. Lang. Syst.
Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2016 J jnl
Automatically generating features for learning program analysis heuristics.
CoRR
Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
2016 B conf
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis.
SAS
Kihong Heo, Hakjoo Oh, Hongseok Yang
2016 J jnl
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis.
ACM Trans. Program. Lang. Syst.
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2016 J jnl
Widening with thresholds via binary search.
Softw. Pract. Exp.
Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2014 J jnl
A sparse evaluation technique for detailed semantic analyses.
Comput. Lang. Syst. Struct.
Yoonseok Ko, Kihong Heo, Hakjoo Oh
2014 J jnl
Global Sparse Analysis Framework.
ACM Trans. Program. Lang. Syst.
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
2014 A* conf
Selective context-sensitivity guided by impact pre-analysis.
PLDI
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2012 A* conf
Design and implementation of sparse global analyses for C-like languages.
PLDI
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi