Yungbum Jung

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Kwangkeun Yi

> Home > Persons > Yungbum Jung

Publications

2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/JungKDWY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/JungKDWY15
Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
Automatically inferring loop invariants via algorithmic learning. Math. Struct. Comput. Sci. 25(4): 892-915 (2015)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-7167
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-7167
Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi:
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. Log. Methods Comput. Sci. 8(3) (2012)
2011
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KimJKY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KimJKY11
Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi:
MeCC: memory comparison-based clone detector. ICSE 2011: 301-310
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JungLWY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JungLWY11
Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi:
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS 2011: 205-219
2010
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/KongJDWY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/KongJDWY10
Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS 2010: 328-343
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JungKWY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JungKWY10
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi:
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI 2010: 180-196
2009
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cikm/JungOY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/JungOY09
Yungbum Jung, Hakjoo Oh, Kwangkeun Yi:
Identifying static analysis techniques for finding non-fix hunks in fix revisions. CIKM-DSMM 2009: 13-18
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iwmm/JungY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwmm/JungY08
Yungbum Jung, Kwangkeun Yi:
Practical memory leak detector based on parameterized procedural summaries. ISMM 2008: 131-140
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/JungKSY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/JungKSY05
Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi:
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. SAS 2005: 203-217

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.