| Vuddy: A scalable approach for vulnerable code clone discovery S Kim, S Woo, H Lee, H Oh 2017 IEEE symposium on security and privacy (SP), 595-614, 2017 | 403 | 2017 |
| Verismart: A highly precise safety verifier for ethereum smart contracts S So, M Lee, J Park, H Lee, H Oh 2020 IEEE Symposium on Security and Privacy (SP), 1678-1694, 2020 | 158 | 2020 |
| 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 | 135 | 2012 |
| 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 | 106 | 2014 |
| {SmarTest}: Effectively hunting vulnerable transaction sequences in smart contracts through language {Model-Guided} symbolic execution S So, S Hong, H Oh 30th USENIX Security Symposium (USENIX Security 21), 1361-1378, 2021 | 90 | 2021 |
| Synthesizing regular expressions from examples for introductory automata assignments M Lee, S So, H Oh Proceedings of the 2016 ACM SIGPLAN International Conference on Generative …, 2016 | 78 | 2016 |
| Data-driven context-sensitivity for points-to analysis S Jeong, M Jeon, S Cha, H Oh Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017 | 72 | 2017 |
| Learning a strategy for adapting a program analysis via bayesian optimisation H Oh, H Yang, K Yi ACM SIGPLAN Notices 50 (10), 572-588, 2015 | 70 | 2015 |
| Effective white-box testing of deep neural networks with adaptive neuron-selection strategy S Lee, S Cha, D Lee, H Oh Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 69 | 2020 |
| Machine-learning-guided selectively unsound static analysis K Heo, H Oh, K Yi 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 69 | 2017 |
| End-to-end prediction of buffer overruns from raw source code via neural memory networks M Choi, S Jeong, H Oh, J Choo arXiv preprint arXiv:1703.02458, 2017 | 69 | 2017 |
| Memfix: static analysis-based repair of memory deallocation errors for c J Lee, S Hong, H Oh Proceedings of the 2018 26th ACM Joint meeting on European software …, 2018 | 59 | 2018 |
| CENTRIS: A precise and scalable approach for identifying modified open-source software reuse S Woo, S Park, S Kim, H Lee, H Oh 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 43 | 2021 |
| Precise and scalable points-to analysis via data-driven context tunneling M Jeon, S Jeong, H Oh Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018 | 43 | 2018 |
| 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 | 43 | 2016 |
| 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 | 42 | 2017 |
| Synthesizing imperative programs from examples guided by static analysis S So, H Oh International Static Analysis Symposium, 364-381, 2017 | 36 | 2017 |
| Automatically generating search heuristics for concolic testing S Cha, S Hong, J Lee, H Oh Proceedings of the 40th International Conference on Software Engineering …, 2018 | 35 | 2018 |
| Access analysis-based tight localization of abstract memories H Oh, L Brutschy, K Yi Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 34 | 2011 |
| Optimizing homomorphic evaluation circuits by program synthesis and term rewriting DK Lee, W Lee, H Oh, K Yi Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 32 | 2020 |
Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National UniversityVerified email at ropas.snu.ac.kr
