Yungbum Jung
Yungbum Jung
FuriosaAI
ropas.snu.ac.kr의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
MeCC: memory comparison-based clone detector
H Kim, Y Jung, S Kim, K Yi
Proceedings of the 33rd international conference on Software Engineering …, 2011
1312011
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
1212005
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
692008
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
432010
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
212010
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
192014
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
152011
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
92009
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
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
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
32015
Predicate generation for learning-based quantifier-free loop invariant inference
K Yi, B Wang, Y Jung, W Lee
Logical Methods in Computer Science 8, 2012
32012
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
Source code analysis device, computer program for same, and recording medium thereof
HAM Hyungkil, J Yungbum
US Patent 10,496,516, 2019
12019
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
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20