| ScanDal: Static analyzer for detecting privacy leaks in android applications J Kim, Y Yoon, K Yi, J Shin, S Center MoST 12 (110), 1, 2012 | 290 | 2012 |
| Proofs about a folklore let-polymorphic type inference algorithm O Lee, K Yi ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 707-723, 1998 | 163 | 1998 |
| Taming false alarms from a domain-unaware C analyzer by a bayesian statistical post analysis Y Jung, J Kim, J Shin, K Yi International Static Analysis Symposium, 203-217, 2005 | 138 | 2005 |
| 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 |
| Automatic verification of pointer programs using grammar-based shape analysis O Lee, H Yang, K Yi Programming Languages and Systems: 14th European Symposium on Programming …, 2005 | 109 | 2005 |
| 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 |
| Introduction to static analysis: an abstract interpretation perspective X Rival, K Yi Mit Press, 2020 | 101 | 2020 |
| Automatic generation and management of interprocedural program analyses K Yi, WL Harrison III Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 88 | 1993 |
| A polymorphic modal type system for lisp-like multi-staged languages IS Kim, K Yi, C Calcagno Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006 | 85 | 2006 |
| Interprocedural exception analysis for Java BM Chang, JW Jo, K Yi, KM Choe Proceedings of the 2001 ACM symposium on Applied computing, 620-625, 2001 | 83 | 2001 |
| Practical memory leak detector based on parameterized procedural summaries Y Jung, K Yi Proceedings of the 7th international symposium on Memory management, 131-140, 2008 | 81 | 2008 |
| Improving code review by predicting reviewers and acceptance of patches G Jeong, S Kim, T Zimmermann, K Yi Research on software analysis for error-free computing center Tech-Memo …, 2009 | 78 | 2009 |
| 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 | 72 | 2015 |
| Machine-learning-guided selectively unsound static analysis K Heo, H Oh, K Yi 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 71 | 2017 |
| An uncaught exception analysis for Java JW Jo, BM Chang, K Yi, KM Choe Journal of systems and software 72 (1), 59-69, 2004 | 69 | 2004 |
| Sound non-statistical clustering of static analysis alarms W Lee, W Lee, K Yi Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 61 | 2012 |
| Towards a cost-effective estimation of uncaught exceptions in SML programs K Yi, S Ryu Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997 | 59 | 1997 |
| A cost-effective estimation of uncaught exceptions in Standard ML programs K Yi, S Ryu Theoretical Computer Science 277 (1-2), 185-217, 2002 | 53 | 2002 |
| Automatically inferring quantified loop invariants by algorithmic learning from simple templates S Kong, Y Jung, C David, BY Wang, K Yi Asian Symposium on Programming Languages and Systems, 328-343, 2010 | 49 | 2010 |
| Automatic construction of Hoare proofs from abstract interpretation results S Seo, H Yang, K Yi Programming Languages and Systems: First Asian Symposium, APLAS 2003 …, 2003 | 48 | 2003 |
Hakjoo OhProfessor, Department of Computer Science and Engineering, Korea UniversityVerified email at korea.ac.kr
