| 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 | 241 | 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 | 137 | 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 | 119 | 2005 |
| Automatic verification of pointer programs using grammar-based shape analysis O Lee, H Yang, K Yi European Symposium on Programming, 124-140, 2005 | 103 | 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 | 99 | 2012 |
| 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 | 89 | 1993 |
| Selective context-sensitivity guided by impact pre-analysis H Oh, W Lee, K Heo, H Yang, K Yi ACM SIGPLAN Notices 49 (6), 475-484, 2014 | 79 | 2014 |
| 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 | 79 | 2001 |
| 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 | 78 | 2006 |
| 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 | 68 | 2008 |
| An uncaught exception analysis for Java JW Jo, BM Chang, K Yi, KM Choe Journal of systems and software 72 (1), 59-69, 2004 | 60 | 2004 |
| Towards a cost-effective estimation of uncaught exceptions in SML programs K Yi, S Ryu International Static Analysis Symposium, 98-113, 1997 | 56 | 1997 |
| 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 | 48 | 2015 |
| Sound non-statistical clustering of static analysis alarms W Lee, W Lee, K Yi International Workshop on Verification, Model Checking, and Abstract …, 2012 | 47 | 2012 |
| A cost-effective estimation of uncaught exceptions in Standard ML programs K Yi, S Ryu Theoretical Computer Science 277 (1-2), 185-217, 2002 | 45 | 2002 |
| 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 | 43 | 2009 |
| Automatic construction of hoare proofs from abstract interpretation results S Seo, H Yang, K Yi Asian Symposium on Programming Languages and Systems, 230-245, 2003 | 43 | 2003 |
| 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 | 42 | 2010 |
| Engaging students with theory through acm collegiate programming contest NV Shilov, K Yi Communications of the ACM 45 (9), 98-101, 2002 | 39 | 2002 |
| Static analysis of multi-staged programs via unstaging translation W Choi, B Aktemur, K Yi, M Tatsuta ACM SIGPLAN Notices 46 (1), 81-92, 2011 | 37 | 2011 |
