Education

1. • Mar. 2009 - Present, Ph.D. student, Computer Science & Engineering, Seoul National University
   

        Advisor: Prof. Kwangkeun Yi

1. • Sep. 2011 - Feb.2012, Visiting student, The Hong Kong University of Science & Technology
   

        Advisor: Prof. Sunghun Kim

1. • Mar. 2005 - Feb. 2009, B.S., Computer Science & Engineering, Seoul National University
   

Research Interests

1. • Scalable & Precise Static Analysis
   

2. • Semantic-based Approaches for Software Engineering
   

3. • Functional Language
   

Publications

1. International
   

2. • Design and Implementation of Sparse Global Analyses for C-like Languages
   

3. Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi
   

4. PLDI 2012 : The 33rd ACM SIGPLAN Conference of Programming Language Design and Implementation
   

5. [pdf / bibtex]
   

6. 
   

7. 
   

8. Domestic
   

9. • 함수 호출을 구별하는 분석에서 가짜 경로를 없애는 한 방법
   

10. (A Way of Avoiding Spurious Paths in Interprocedural Static Analysis)
    

11. 허기홍, 오학주, 이광근
    

12. 한국정보과학회 학술발표논문집, 제38권, 제1호(C), 2011
    

13. • 필요한 정보만 가지고 필요한 지점만 분석하는 일반적인 방법
    

14. (A General Framework for Sparse Analysis)
    

15. 고윤석, 오학주, 허기홍, 이광근
    

16. 한국정보과학회 학술발표논문집, 제38권, 제1호(C), 2011
    

17. 
    

Projects

1. • SNEC: Semantic-based Non-Essential Change Detection (Jun. 2011 - Present)
   

2. • ROSAEC Software Clinic Service (Nov. 2010 - Present)
   

3. • Software Watermarking for C/C++/JAVA [news][patent] (2009)
   

Teaching

1. • TA, Program Analysis, 2010 Spring
   

2. • TA, Programming Language, 2009 Fall
   

External Reviewer

1. •ICSE 2012
   

Other Interests

1. • Guitar
   

2. • Oriental Philosophy
   

3. • Korean Language
   

Etc

1. •MS Academic Search
   

2. • Respect
   

   

Contact

1. Kihong Heo
   

2. khheo (at) ropas.snu.ac.kr
   

3. +82-2-880-1865
   

4. Room 312-2, Building 302
   School of Computer Science and Engineering
   Seoul National University
   1 Gwanak-ro, Gwanak-gu, Seoul 151-744, Korea