Publications
2022
- Learning Probabilistic Models for Static Analysis Alarms
Hyunsu Kim,
Mukund Raghothaman,
and Kihong Heo
🏆 Best Artifact Award
ICSE 2022: 44th International Conference on Software Engineering, 2022
[paper]
[full-version]
- PacJam: Securing Dependencies Continuously via Package-Oriented Debloating
Pardis Pashakhanloo,
Aravind Machiry,
Hyonyoung Choi,
Anthony Canino,
Kihong Heo,
Insup Lee,
and Mayur Naik
ASIACCS 2022: ACM ASIA Conference on Computer and Communications Security, 2022
[paper]
2021
2019
- Synthesizing Datalog Programs using Numerical Relaxation
Xujie Si,
Mukund Raghothaman,
Kihong Heo,
and Mayur Naik
IJCAI 2019: International Joint Conferences on Artificial Intelligence, 2019
[paper]
- Continuously Reasoning about Programs via Differential Bayesian Inference
Kihong Heo,
Mukund Raghothaman,
Xujie Si,
and Mayur Naik
🏆 Distinguished Paper Award
PLDI 2019: Programming Language Design and Implementation, 2019
[paper]
- Resource-aware Program Analysis via Online Abstraction Coarsening
Kihong Heo,
Hakjoo Oh,
and Hongseok Yang
🏆 Distinguished Paper Award
ICSE 2019: 41st ACM/IEEE International Conference on Software Engineering, 2019
[paper]
[slides]
2018
- Effective Program Debloating via Reinforcement Learning
Kihong Heo,
Woosuk Lee,
Pardis Pashakhanloo,
and Mayur Naik
CCS 2018: ACM Conference on Computer and Communications Security, 2018
[paper]
[slides]
- User-Guided Program Reasoning using Bayesian Inference
Mukund Raghothaman,
Sulekha Kulkarni,
Kihong Heo,
and Mayur Naik
PLDI 2018: Programming Language Design and Implementation, 2018
[paper]
[full-version]
- Accelerating Search-Based Program Synthesis Using Learned Probabilistic Models
Woosuk Lee,
Kihong Heo,
Rajeev Alur,
and Mayur Naik
PLDI 2018: Programming Language Design and Implementation, 2018
[paper]
- Difflog: Beyond Deductive Methods in Program Analysis
Mukund Raghothaman,
Sulekha Kulkarni,
Richard Zhang,
Xujie Si,
Kihong Heo,
Woosuk Lee,
and Mayur Naik
ML4P: 1st Workshop on Machine Learning for Programming, 2018
[paper]
- Learning Analysis Strategies for Octagon and Context Sensitivity from Labeled Data Generated by Static Analyses
Kihong Heo,
Hakjoo Oh,
and Hongseok Yang
Invited Paper
FMSD: Formal Methods in System Design, 2018
[paper]
- Adapting Static Analysis via Learning with Bayesian Optimization
Kihong Heo,
Hakjoo Oh,
Hongseok Yang,
and Kwangkeun Yi
TOPLAS: ACM Transactions on Programming Languages and Systems, 2018
[paper]
2017
- Machine-Learning-Guided Selectively Unsound Static Analysis
Kihong Heo,
Hakjoo Oh,
and Kwangkeun Yi
ICSE 2017: The 39th International Conference on Software Engineering, 2017
[paper]
[slides]
- Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Kwonsoo Chae,
Hakjoo Oh,
Kihong Heo,
and Hongseok Yang
OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2017
[paper]
- Selective Conjunction of Context-sensitivity and Octagon Domain toward Scalable and Precise Global Static Analysis
Kihong Heo,
Hakjoo Oh,
and Kwangkeun Yi
SP&E: Software-Practice and Experience, 2017
[paper]
- Sound Non-Statistical Clustering of Static Analysis Alarms
Woosuk Lee,
Wonchan Lee,
Dongok Kang,
Kihong Heo,
Hakjoo Oh,
and Kwangkeun Yi
TOPLAS: ACM Transactions on Programming Languages and Systems, 2017
[paper]
2016
- Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis
Kihong Heo,
Hakjoo Oh,
and Hongseok Yang
SAS 2016: The 23rd Static Analysis Symposium, 2016
[paper]
[slides]
- Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
Hakjoo Oh,
Wonchan Lee,
Kihong Heo,
Hongseok Yang,
and Kwangkeun Yi
TOPLAS: ACM Transactions on Programming Languages and Systems, 2016
[paper]
- Widening with Thresholds via Binary Search
Sol Kim,
Kihong Heo,
Hakjoo Oh,
and Kwangkeun Yi
SP&E: Software-Practice and Experience, 2016
[paper]
2014
- Selective Context-Sensitivity Guided by Impact Pre-Analysis
Hakjoo Oh,
Wonchan Lee,
Kihong Heo,
Hongseok Yang,
and Kwangkeun Yi
PLDI 2014: The 35th ACM SIGPLAN Conference of Programming Language Design and Implementation, 2014
[paper]
[full-version]
- Global Sparse Analysis Framework
Hakjoo Oh,
Kihong Heo,
Wonchan Lee,
Woosuk Lee,
Daejun Park,
Jeehoon Kang,
and Kwangkeun Yi
TOPLAS: ACM Transactions on Programming Languages and Systems, 2014
[paper]
- A Sparse Evaluation Technique for Detailed Semantic Analyses
Yoonseok Ko,
Kihong Heo,
and Hakjoo Oh
Computer Languages, Systems, & Structures, 2014
[paper]
2012