Yungbum Jung 정영범

Ph. D.
Programming Research Laboratory
School of Computer Science and Engineering
Seoul National University
dreameye (at) ropas.snu.ac.kr

Here is CV

Short Bio

When he was a undergraduate student, he performed several plays on the stages as main actors. He is one of founders of a theater group in his university. During his high school days, he had been interested in science and mathematics. He is also a founder of "StarGeo", a high school group for studying science especially astronomy and geology. He loves to meet people and to create groups with them.

Education & Professional Activities

2011.11 ~ Present: Research Engineer, Fasoo.com
2004.3 ~ 2011.8: Ph. D. under Prof. Kwangkeun Yi, School of Computer Science and Engineering, Seoul National University
2009.1 ~ 2009.5: Visiting Student of Martin Rinard, CSAIL, MIT
1998.3 ~ 2004.2: B.S., Mathematics and Computer Science (double major), Seoul National University

Research Interests

Static Program Analysis
Functional Programming
Machine Learning for Understanding Software

Teaching

4190.310 Programming Languages (Spring 2011)

Publications

Ph.D. Thesis

Yungbum Jung

paper

International

Top-ranked Conferences on Programming Language and Software Engineering

My Academic Statistics

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 2013 : Mathematical Structures in Computer Science
[paper]
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
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

열린 코드 다단계 프로그램의 타입 지향 자동 생성
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]
Sparrow - Static Bug Finder, SIGPL winter school, KAIST, Daejun, Korea, Jan 2008

Poster Presentation

APLAS 2009, Seoul, Korea [poster]
PLDI 2005, Chicago, USA
APLAS 2004, Taipei, Taiwan

Awards and Scholarship

LG 전자 박사 산학장학생 2007 ~ 2010
삼성휴먼테크논문 2005, 장려상
서울대학교 스타크래프트 대회 2003, 4강
성균관대 게임개발 경진대회 2002, 장려상
서울대학교 총장배 농구대회 2002, 4강

I'm on TV! 2011/04/03 KBS 2TV "세번의 만남 - 양희은편"
I'm on DailyGrid! 2011/03/01