Yungbum Jung (정영범)

Ph.D. Thesis

Parameterized Procedural Summary-based Static Analysis for Detecting Memory Leaks and Code Clones — Yungbum Jung, July 2011. [paper]

International

• Automatically Inferring Loop Invariants via Algorithmic Learning — MSCS 2015. (Jung, Kong, David, Wang, Yi) [paper]
• Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM — APSEC 2014 (industry track).
• Predicate Generation for Learning-based Quantifier-free Loop Invariant Inference — LMCS 2012.
• MeCC: Memory Comparison-based Clone Detector — ICSE 2011. paper
• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference — TACAS 2011. paper
• Automatically Inferring Quantified Invariants via Algorithmic Learning from Simple Templates — APLAS 2010. paper
• Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction — VMCAI 2010.
paper
• Identifying Static Analysis Techniques for Finding Non-fix Hunks in Fix Revisions — DSMM 2009.
• Practical Memory Leak Detector Based on Parameterized Procedural Summaries — ISMM 2008.
• Taming False Alarms from a Domain-Unaware C Analyzer — SAS 2005. paper
• Soundness by Static Analysis and False-alarm Removal by Statistical Analysis: Our Airac Experience — Bugs 2005.

Domestic

• OWASP 벤치마크의 보안약점 탐지 점수를 높이기 위한 정적 분석 기술 — 정보과학회지, 2016.
• Type-directed Automatic Generation of Open Code Multi-staged Program — 정보과학회 논문지, 2012.
• 함수 요약에 기반한 메모리 누수 정적 탐지기 — 정보과학회 논문지: 소프트웨어 및 응용, 2009.
• 스패로우: 소스 코드 분석기 — 한국정보과학회 학술발표논문집, 2007.
• C 프로그램의 버퍼 오버런 오류를 찾아 주는 정적 분석기의 설계와 구현 — 정보과학회 논문지, 2006.