Kihong Heo
Kihong Heo
Post-doctoral Researcher, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage
TitleCited byYear
Design and implementation of sparse global analyses for C-like languages
H Oh, K Heo, W Lee, W Lee, K Yi
ACM SIGPLAN Notices 47 (6), 229-238, 2012
872012
Selective context-sensitivity guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
ACM SIGPLAN Notices 49 (6), 475-484, 2014
652014
Learning a variable-clustering strategy for octagon from labeled data generated by a static analysis
K Heo, H Oh, H Yang
International Static Analysis Symposium, 237-256, 2016
212016
Global sparse analysis framework
H Oh, K Heo, W Lee, W Lee, D Park, J Kang, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (3), 8, 2014
192014
Accelerating search-based program synthesis using learned probabilistic models
W Lee, K Heo, R Alur, M Naik
ACM SIGPLAN Notices 53 (4), 436-449, 2018
162018
Automatically generating features for learning program analysis heuristics for C-like languages
K Chae, H Oh, K Heo, H Yang
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 101, 2017
162017
Machine-learning-guided selectively unsound static analysis
K Heo, H Oh, K Yi
Proceedings of the 39th International Conference on Software Engineering …, 2017
162017
Effective program debloating via reinforcement learning
K Heo, W Lee, P Pashakhanloo, M Naik
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
132018
User-guided program reasoning using Bayesian inference
M Raghothaman, S Kulkarni, K Heo, M Naik
ACM SIGPLAN Notices 53 (4), 722-735, 2018
122018
Selective X-sensitive analysis guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (2), 6, 2016
102016
Sparrow
H Oh, K Heo, W Lee, W Lee, K Yi
52014
Sound non-statistical clustering of static analysis alarms
W Lee, W Lee, D Kang, K Heo, H Oh, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (4), 16, 2017
42017
A sparse evaluation technique for detailed semantic analyses
Y Ko, K Heo, H Oh
Computer Languages, Systems & Structures 40 (3-4), 99-111, 2014
42014
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses
K Heo, H Oh, H Yang
Formal Methods in System Design 53 (2), 189-220, 2018
22018
Selective conjunction of context‐sensitivity and octagon domain toward scalable and precise global static analysis
K Heo, H Oh, K Yi
Software: Practice and Experience 47 (11), 1677-1705, 2017
22017
Widening with thresholds via binary search
S Kim, K Heo, H Oh, K Yi
Software: Practice and Experience 46 (10), 1317-1328, 2016
22016
Synthesizing Datalog Programs using Numerical Relaxation
X Si, M Raghothaman, K Heo, M Naik
arXiv preprint arXiv:1906.00163, 2019
12019
Resource-aware program analysis via online abstraction coarsening
K Heo, H Oh, H Yang
Proceedings of the 41st International Conference on Software Engineering, 94-104, 2019
12019
Adaptive Static Analysis via Learning with Bayesian Optimization
K Heo, H Oh, H Yang, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (4), 14, 2018
12018
Continuously reasoning about programs using differential Bayesian inference
K Heo, M Raghothaman, X Si, M Naik
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20