| MeCC: memory comparison-based clone detector H Kim, Y Jung, S Kim, K Yi Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 147 | 2011 |
| 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 | 134 | 2005 |
| 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 | 78 | 2008 |
| 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 | 47 | 2010 |
| Reducing false alarms from an industrial-strength static analyzer by SVM J Yoon, M Jin, Y Jung 2014 21st Asia-Pacific Software Engineering Conference 2, 3-6, 2014 | 37 | 2014 |
| Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction Y Jung, S Kong, BY Wang, K Yi International Workshop on Verification, Model Checking, and Abstract …, 2010 | 20 | 2010 |
| Predicate generation for learning-based quantifier-free loop invariant inference Y Jung, W Lee, BY Wang, K Yi International Conference on Tools and Algorithms for the Construction and …, 2011 | 18 | 2011 |
| Identifying static analysis techniques for finding non-fix hunks in fix revisions Y Jung, H Oh, K Yi Proceedings of the ACM first international workshop on Data-intensive …, 2009 | 14 | 2009 |
| Soonho Kong, Heejong Lee, Hakjoo Oh, Daejun Park, and Kwangkeun Yi Y Jhee, M Jin, Y Jung, D Kim Abstract interpretation+ impure catalysts: Our Sparrow experience …, 2008 | 8 | 2008 |
| Automatically inferring loop invariants via algorithmic learning Y Jung, S Kong, C David, BY Wang, K Yi Mathematical Structures in Computer Science 25 (4), 892-915, 2015 | 6 | 2015 |
| Soonho Kong, Bow-Yaw Wang, and Kwangkeun Yi. Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction Y Jung Verification, Model Checking, and Abstract Interpretation, 11th …, 2010 | 6 | 2010 |
| Predicate generation for learning-based quantifier-free loop invariant inference W Lee, Y Jung, B Wang, K Yi Logical Methods in Computer Science 8, 2012 | 5 | 2012 |
| Source code analysis device, computer program for same, and recording medium thereof HAM Hyungkil, J Yungbum US Patent 10,496,516, 2019 | 2 | 2019 |
| Soundness by static analysis and false-alarm removal by statistical analysis: Our airac experience Y Jung, J Kim, J Shin, K Yi Workshop on the Evaluation of Software Defect Detection Tools, 2005 | 2 | 2005 |
| Inferring quantified invariants via algorithmic learning, decision procedure, and predicate abstraction C David, Y Jung, S Kong, BY Wang, K Yi Technical Memorandum ROSAEC-2010-007, Research On Software Analysis for …, 2010 | 1 | 2010 |
| Design and Implementation of Static Program Analyzer Finding All Buffer Overrun Errors in C Programs Y Kwang-Keun, J Yung-Bum Journal of KIISE: Software and Applications 33 (5), 508-524, 2006 | 1 | 2006 |
| of KIISE S FeatureⅠ, D Kang, KH Kim, M Jin, Y Jung, S FeatureⅡ, C Lee, W Wang, ... 정보과학회지, 3, 2016 | | 2016 |
| Type-directed Automatic Generation of Open Code Multi-Staged Programs YB Jung, WC Lee, KK Yi Proceedings of the Korean Information Science Society Conference, 466-469, 2011 | | 2011 |
| Clone Detection by Comparing Abstract Memory States H Kim, Y Jung, S Kim, K Yi evolution 21, 6, 2010 | | 2010 |
| Kong Soonho J Yungbum Deriving Invariants by Algo-rithmic Learning, Decision Procedures, and …, 2010 | | 2010 |
Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National UniversityVerified email at ropas.snu.ac.kr
