Yungbum Jung
Yungbum Jung
FuriosaAI
Verified email at ropas.snu.ac.kr - Homepage
Title
Cited by
Cited by
Year
MeCC: memory comparison-based clone detector
H Kim, Y Jung, S Kim, K Yi
Proceedings of the 33rd International Conference on Software Engineering …, 2011
1152011
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
1112005
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
592008
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
382010
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
202010
Soonho Kong, Bow-Yaw Wang, and Kwangkeun Yi. Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
Y Jung
Proceedings of the 11th international conference on Verification, Model …, 2010
142010
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
132014
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
122011
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
82008
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
72009
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
22015
Predicate generation for learning-based quantifier-free loop invariant inference
W Lee, Y Jung, B Wang, K Yi
arXiv preprint arXiv:1207.7167, 2012
22012
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
22005
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
12010
Clone Detection by Comparing Abstract Memory States, ROSAEC Research On Software Analysis For Error Free Computing, ROSAEC MEMO 2010-008 March 5, 2010 [2
H Kim, Y Jung, S Kim, K Yi
Department of English, University of Bristol, 2010
12010
Design and Implementation of Static Program Analyzer Finding All Buffer Overrun Errors in C Programs
KK Yi, JW Kim, YB Jung
Journal of KIISE: Software and Applications 33 (5), 508-524, 2006
12006
Airac: Static Analyzer for Automatic Verification of Array Index Ranges in C Programs
Y Jung, J Kim, J Shin, K Yi
Proceedings of the Korean Information Science Society Conference, 964-966, 2005
12005
Source code analysis device, computer program for same, and recording medium thereof
HAM Hyungkil, J Yungbum
US Patent 10,496,516, 2019
2019
of KIISE
S FeatureⅠ, D Kang, KH Kim, M Jin, Y Jung, S FeatureⅡ, C Lee, W Wang, ...
정보과학회지, 3, 2016
2016
of KIISE
S FeatureⅠ, O Mutlu, J Meza, L Subramanian, Y Lu, J Zhang, J Shu, ...
정보과학회지, 1, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20