متابعة
Kihong Heo
Kihong Heo
KAIST
بريد إلكتروني تم التحقق منه على kaist.ac.kr - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
1692018
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‏
1542018
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‏
1342012
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‏
1092014
Machine-learning-guided selectively unsound static analysis‏
K Heo, H Oh, K Yi‏
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017‏
732017
Synthesizing datalog programs using numerical relaxation‏
X Si, M Raghothaman, K Heo, M Naik‏
arXiv preprint arXiv:1906.00163, 2019‏
712019
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‏
682018
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‏
442017
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‏
432016
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
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‏
262019
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‏
252019
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‏
232022
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
{DAFL}: Directed Grey-box Fuzzing guided by Data Dependency‏
TE Kim, J Choi, K Heo, SK Cha‏
32nd USENIX Security Symposium (USENIX Security 23), 4931-4948, 2023‏
212023
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‏
192017
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
Learning probabilistic models for static analysis alarms‏
H Kim, M Raghothaman, K Heo‏
Proceedings of the 44th International Conference on Software Engineering …, 2022‏
112022
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‏
102022
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‏
102021
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20