| 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 | 134 | 2018 |
| 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 | 124 | 2012 |
| 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 | 122 | 2018 |
| 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 | 95 | 2014 |
| Machine-learning-guided selectively unsound static analysis K Heo, H Oh, K Yi 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 62 | 2017 |
| 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 | 60 | 2018 |
| Synthesizing datalog programs using numerical relaxation X Si, M Raghothaman, K Heo, M Naik arXiv preprint arXiv:1906.00163, 2019 | 57 | 2019 |
| 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 | 39 | 2017 |
| 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 | 39 | 2016 |
| 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 | 25 | 2014 |
| 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 | 22 | 2015 |
| 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 | 21 | 2019 |
| 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 | 21 | 2019 |
| 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 | 17 | 2017 |
| 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 | 15 | 2018 |
| 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 | 6 | 2022 |
| 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 | 6 | 2021 |
| A sparse evaluation technique for detailed semantic analyses Y Ko, K Heo, H Oh Computer Languages, Systems & Structures 40 (3-4), 99-111, 2014 | 5 | 2014 |
| 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 | 4 | 2022 |
| 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 | 4 | 2017 |
Hakjoo OhProfessor, Department of Computer Science and Engineering, Korea UniversityVerified email at korea.ac.kr
