Follow
Kihong Heo
Kihong Heo
Assistant Professor, KAIST
Verified email at kaist.ac.kr - Homepage
Title
Cited by
Cited by
Year
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
1432018
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
1352018
Design and implementation of sparse global analyses for C-like languages
H Oh, K Heo, W Lee, W Lee, K Yi
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1312012
Selective context-sensitivity guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
1002014
Machine-learning-guided selectively unsound static analysis
K Heo, H Oh, K Yi
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
672017
Synthesizing datalog programs using numerical relaxation
X Si, M Raghothaman, K Heo, M Naik
arXiv preprint arXiv:1906.00163, 2019
632019
User-guided program reasoning using Bayesian inference
M Raghothaman, S Kulkarni, K Heo, M Naik
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
622018
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), 1-25, 2017
412017
Learning a variable-clustering strategy for octagon from labeled data generated by a static analysis
K Heo, H Oh, H Yang
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
412016
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), 1-44, 2014
292014
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
222019
Resource-aware program analysis via online abstraction coarsening
K Heo, H Oh, H Yang
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
222019
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), 1-45, 2015
222015
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), 1-35, 2017
182017
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), 1-37, 2018
172018
Tracer: Signature-based static analysis for detecting recurring vulnerabilities
W Kang, B Son, K Heo
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
102022
Learning probabilistic models for static analysis alarms
H Kim, M Raghothaman, K Heo
Proceedings of the 44th International Conference on Software Engineering …, 2022
72022
Boosting static analysis accuracy with instrumented test executions
T Chen, K Heo, M Raghothaman
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
72021
Pacjam: Securing dependencies continuously via package-oriented debloating
P Pashakhanloo, A Machiry, H Choi, A Canino, K Heo, I Lee, M Naik
Proceedings of the 2022 ACM on Asia Conference on Computer and …, 2022
62022
A sparse evaluation technique for detailed semantic analyses
Y Ko, K Heo, H Oh
Computer Languages, Systems & Structures 40 (3-4), 99-111, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20