| 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 | 316 | 2017 |
| 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 |
| 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 | 107 | 2020 |
| 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 |
| 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 | 68 | 2015 |
| 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 | 66 | 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 | 65 | 2017 |
| Machine-learning-guided selectively unsound static analysis K Heo, H Oh, K Yi 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 61 | 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 | 61 | 2017 |
| {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 | 49 | 2021 |
| 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 | 49 | 2020 |
| 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 | 47 | 2018 |
| 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 |
| 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 | 36 | 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 |
| Synthesizing imperative programs from examples guided by static analysis S So, H Oh International Static Analysis Symposium, 364-381, 2017 | 33 | 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 | 29 | 2018 |
| SAVER: scalable, precise, and safe memory-error repair S Hong, J Lee, J Lee, H Oh Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 27 | 2020 |
| Automatic diagnosis and correction of logical errors for functional programming assignments J Lee, D Song, S So, H Oh Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018 | 27 | 2018 |
Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National UniversityVerified email at ropas.snu.ac.kr
