Yungbum Jung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2005–2014
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | APSEC | Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM. | Jongwon Yoon, Minsik Jin, Yungbum Jung |
| 2011 | ICSE | MeCC: memory comparison-based clone detector. | Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi |
| 2011 | TACAS | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. | Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi |
| 2010 | APLAS | Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. | Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi |
| 2010 | VMCAI | Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. | Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi |
| 2009 | CIKM | Identifying static analysis techniques for finding non-fix hunks in fix revisions. | Yungbum Jung, Hakjoo Oh, Kwangkeun Yi |
| 2005 | SAS | Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. | Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi |