Soonho Kong

Research Associate,
ROSAEC(Research On Software Analysis for Error-free Computing) Center,
Seoul National University

Room 215 Bldg 138, Seoul National University
599 Gwanak-ro Gwanak-gu Seoul 151-742, KOREA

Email:
Phone: +82-2-880-1532
Fax: +82-2-882-7234

Here is my CV.

Research Interests

Safety and reliability of software, which span the spectrum from programming languages, through program analysis and verification, to software engineering. Now I am working on the following topics:

Quantified Loop Invariant Generation using Algorithmic Learning
Semantic Analysis for the multi-staged program by extending Abstract Parsing Technique

Education

Aug 2009, M.S., Programming Research Laboratory, School of Computer Science, Seoul National University
Feb 2007, B.S. cum laude, School of Computer Science and Engineering, Seoul National University

Publications

Disclaimer: These papers are made available as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Cristina David, Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi. Inferring Quantified Invariants via Algorithmic Learning, Decision Procedures, and Predicate Abstraction . ROSAEC Center, Technical Memorandum ROSAEC-2010-007. January, 2010. Submitted to CAV'10.
[pdf/BibTeX]
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi. Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI 2010: The 11th International Conference on Verification, Model Checking, and Abstract Interpretation, Madrid, Jan 17-19, 2010.
[pdf/BibTeX/slides]
Soonho Kong, Wontae Choi, Kwangkeun Yi. Abstract Parsing for Two-staged Languages with Concatenation. GPCE 2009: The 8th International Conference on Generative Programming and Component Engineering, Denver, Oct 4-5, 2009.
[pdf/BibTeX/slides]
Soonho Kong, Wontae Choi, Kwangkeun Yi. PCC Framework for Program Generators. PCC 2009: The 3rd International Workshop on Proof-Carrying Code and Software Certification, Los Angeles, Aug 15, 2009.
[pdf/BibTeX/slides]
Soonho Kong, Nikolai Tillmann, Jonathan de Halleux. Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG 2009: The 6th International Conference on Information Technology: New Generations, Las Vegas, Apr 27-29, 2009.
[pdf/BibTeX]
Hakjoo Oh, Yungbum Jung, Minsik Jin, Deokhwan Kim, Yikwon Hwang, Daejun Park, Heejong Lee, Soonho Kong, Kwangkeun Yi. Sparrow: The Source Code Analyzer. KIISE(Korean Institute of Information Scientists and Engineers) Conference 2007, 34(1C):500--504, KIISE, 2007.
[pdf (in Korean)/BibTeX]

Awards and Honors

Sep 2008 - Aug 2009, National Graduate Science & Technology Scholarship, Korea Student Aid Foundation(KOSAF)
Aug 2008 - Nov 2008, BK21 Global Internship (MSR), Korea Research Foundation
Mar 2008 - Aug 2008, Brain Korea 21 Scholarship, School of Computer Science and Engineering, Seoul National University
Aug 2007 - Feb 2008, BK21 Global Internship (MSRA), Korea Research Foundation
Mar 2007 - Aug 2007, Brain Korea 21 Scholarship, School of Computer Science and Engineering, Seoul National University

Teaching Experience

Spring 2009, Teaching Assistant, SNU 4541.664A Program Analysis
Fall 2008, Teaching Assistant, SNU 4190.210 Principles of Programming
27 - 29 Feb 2008, Lecturer, Free Computer Education for Students in Gwanak Area
Summer 2007, Teaching Assistant, 2007 Programming Made Easy
Spring 2007, Teaching Assistant, SNU 4190.210 Principles of Programming

Internship

Aug 2008 - Nov 2008, Research Intern, PEX Team, Foundation of Software Engineering Group, Microsoft Research Redmond
Aug 2007 - Feb 2008, Research Intern, Theory Group, Microsoft Research Asia

Professional Activities

External Reviewer

CAV 2010: The 22nd International Conference on Computer Aided Verification
VMCAI 2010: The 11th International Conference on Verification, Model Checking, and Abstract Interpretation
SAS 2009: The 16th International Static Analysis Symposium
DEFECTS 2009: The 2nd International Workshop on Defects in Large Software Systems
APLAS 2007: The 5th Asian Symposium on Programming Languages and Systems

Presentations

@Conferences

2010-01-18 Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedures, and Predicate Abstraction [slides/photo]
VMCAI 2010: The 11th International Conference on Verification, Model Checking, and Abstract Interpretation, Madrid, Spain
2009-12-14 Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (Poster Session) [poster/photo]
APLAS 2009: The 7th Asian Symposium on Programming Languages and Systems, Seoul, Korea

@Workshops

2009-08-15 PCC Framework for Program Generators [slides]
PCC 2009: The 3rd International Workshop on Proof-Carrying Code and Software Certification, Los Angeles, U.S.A.
2009-07-10 Abstract Parsing for Two-staged Languages with Concatenation [slides]
2nd ROSAEC Center Workshop, Paju, Korea

@ Internal Lab. Seminar (ROPAS Show & Tell)

2009-12-18 Deriving Quantified Invariants using Algorithmic Learning [abstract/slides]
2009-10-09 Semantic Analysis with Abstract Parsing [abstract/slides]
2009-08-07 PCC Framework for Program Generators [abstract/slides(I)/slides(II)]
2009-06-26 Building a Program-Specific and Adaptable Alarm Prioritizer for Sparrow [abstract/slides]
2008-12-12 Parameterized Model for FileSystem and Database [abstract/slides]
2008-03-21 Cost Minimizing Search on Non-prenex and Non-CNF QBF [abstract/slides (not available, now)]
2007-05-25 Basic Concepts of Abstract Interpretation [abstract/slides]

Extracurricular Activities

May 2009 - Present, English-Korean Translator and Reviewer in TED Open Translation Project

Last Modified: Wed, 03 Feb 2010 14:25:28 +0900(KST)