Follow
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
1482011
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
1352005
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
792008
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
472010
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
382014
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
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
182011
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
142009
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
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
62015
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
62010
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
52012
Source code analysis device, computer program for same, and recording medium thereof
HAM Hyungkil, J Yungbum
US Patent 10,496,516, 2019
22019
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
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
12006
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
The system can't perform the operation now. Try again later.
Articles 1–20