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
Yungbum Jung, Soonho Kong, Cristina David,
Bow-Yaw Wang, and Kwangkeun Yi
( Invited Paper, a journal version of APLAS'10 and VMCAI'10) MSCS 2015
: Mathematical Structures in Computer Science, Volume 25, Issue 04, May 2015
[paper]
Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM
Jongwon Yoon, Minsik Jin and Yungbum Jung APSEC 2014
: 21st Asia-Pacific Software Engineering Conference (industry track)
Jeju, Korea, December 1 ~ 4, 2014
Predicate Generation for Learning-based Quantifier-free Loop
Invariant Inference
Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, and Kwangkeun Yi
( Invited Paper, a journal version of TACAS'11) LMCS 2012
: Logical Methods in Computer Science
[paper]
MeCC: Memory Comparison-based Clone Detector
Heejung Kim, Yungbum Jung, Sunghun Kim, and Kwangkeun Yi ICSE 2011 : The 33rd
International Conference on Software Engineering (research track)
Waikiki, Honolulu, Hawaii, May 21 ~ 28, 2011
[paper / bib / slide]
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, and Kwangkeun Yi
TACAS 2011 : The 17th
International Conference on Tools and Algorithms for
the Construction and Analysis of Systems (research paper) Saarbrücken, Germany, March 26 - April 3, 2011
[paper / bib]
Automatically Inferring Quantified Invariants via Algorithmic
Learning from Simple Templates Soonho Kong,
Yungbum Jung, Cristina David, Bow-Yaw Wang, and Kwangkeun Yi
APLAS 2010 : The 8th ASIAN
Symposium on Programming Language and Systems Shanghai, China, November 28 ~ December 1, 2010
[paper / bib / slide ]
Deriving Invariants by Algorithmic Learning, Decision Procedures, and
Predicate Abstraction
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, and Kwangkeun Yi VMCAI 2010 : The 11th International Conference on
Verification, Model Checking, and Abstract Interpretation Madrid, Spain, January 17 ~ 19, 2010
[paper / bib / slide ]
Identifying Static Analysis Techniques for Finding Non-fix Hunks in Fix
Revisions
Yungbum Jung, Hakjoo Oh, and Kwangkeun Yi DSMM 2009: Workshop on Data-intensive
Software Management and Mining Hongkong, China, November 6th, 2009
Practical Memory Leak Detector Based on Parameterized Procedural Summaries
Yungbum Jung and Kwangkeun Yi ISMM 2008 : The International Symposium on
Memory Management Tucson, US, June 7 ~ 8, 2008
[paper / bib / slide]
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
Yungbum Jung, Jaehwang Kim, Jaeho Shin, and Kwangkeun Yi SAS 2005 : The 12th International Static
Analysis Symposium London, England, September 7 ~ 9, 2005
[paper / bib]
Soundness by Static Analysis and False-alarm Removal by Statistical Analysis: Our Airac Experience
Yungbum Jung, Jaehwang Kim, Jaeho Shin, and Kwangkeun Yi Bugs 2005: Workshop on the
Evaluation of Software Defect Detection Tools Chicago, US, June 12th, 2005
[paper]
Domestic
OWASP 벤치마크의 보안약점 탐지 점수를 높이기 위한 정적 분석 기술
강동옥, 김경환, 진민식, 정영범
한국정보과학회, 정보과학회지 34(3), 2016년 3월
열린 코드 다단계 프로그램의 타입 지향 자동 생성
Type-directed Automatic Generation of Open Code Multi-staged Program
정영범 , 이원찬, 이광근
저널 - 정보과학회논문지: 컴퓨팅의 실제 및 레터 제 18권 3호,
2012년 3월
초청논문
열린 코드를 갖는 다단계 프로그램을 타입 정보로부터 자동으로 생성하기
정영범 , 이원찬, 이광근
한국정보과학회 2011 한국컴퓨터 학술발표논문집
우수발표논문
알고리즘적인 학습을 통한 불변성 유추
정영범 , 공순호, 이광근
한국정보과학회 프로그래밍언어연구회 제 23권 제 1호
통권 제 42호, 2009년 12월
함수 요약에 기반한 메모리 누수 정적 탐지기
A Static Analyzer for Detecting Memory Leaks Based on Procedural Summary
정영범 , 이광근
저널 - 정보과학회 논문지: 소프트웨어 및 응용 제 36권 제
7호, 2009년 7월
초청논문
함수 간추림을 이용해 메모리 누수를 찾아내는 분석기
Procedural Summary Based Static Analyzer Detecting Memory Leaks
정영범 , 이광근
한국정보과학회 프로그래밍언어논문지 제22권
제2호(23 ~ 45), 2008년 12월
우수논문, 한국정보과학회 프로그래밍연구회
스패로우: 소스 코드 분석기
Sparrow: The Source Code Analyzer
오학주, 정영범 , 진민식, 김덕환, 황의권, 박대준, 이희종, 공순호, 이광근
한국정보과학회 학술발표논문집, 2007년 6월
C 프로그램의 버퍼 오버런(buffer overrun) 오류를 찾아 주는 정적 분석기의 설계와 구현
Design and Implementation of Static Program Analyzer Finding All Buffer Overrun Errors in C Programs
이광근, 김재황, 정영범
저널 - 정보과학회 논문지: 소프트웨어 및 응용 제33권
제5호, 2006년 5월
제17회 과학기술 우수논문상, 한국과학기술단체총연합회
요약해석기 AiracV
신재호, 김재황, 오학주, 정영범, 이광근
한국정보과학회 프로그래밍언어연구회, 2005년
11월
아이락: C 프로그램의 메모리 오류 정적 분석기
Airac: Static Analyzer for Automatic Verification of Array Index Ranges in C Programs
정영범, 김재황, 신재호, 이광근
한국정보과학회 제32회 추계학술발표회, 2005년
11월
추계학술발표회 우수발표 논문상, 한국정보과학회 프로그래밍연구회
Patent
메모리 누수 검출 장치 및 방법 (Memory Leak Detecting
Apparatus and Method thereof)
No. 1020080038411 (G06F9/06, G06F11/08, G06F11/30)
Talks
Automatically Inferring Invariants via Algorithmic Learning, MPI-SWS, Saarbrücken, Germany,
April 2011 [slide]
Deriving Invariants in Propositional Logic by Algorithmic
Learning, Decision Procedure, and Predicate Abstraction, HKUST, HongKong, China,
November 2009 [slide]