Kihong Heo (허기홍)

Ph.D. student, Programming Research Lab.
ROSAEC center, School of Computer Science & Engineering, Seoul National University

Education

• Mar. 2009 - Present, Ph.D. student, Computer Science & Engineering, Seoul National University. Advisor: Prof. Kwangkeun Yi
• Sep. 2011 - Feb. 2012, Visiting student, The Hong Kong University of Science & Technology. Advisor: Prof. Sunghun Kim

Research Interest

• Scalable & Precise Static Analysis
• Semantic-based Approaches for Software Engineering

Paper

• Design and Implementation of Sparse Global Analyses for C-like Languages
  Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi
  PLDI 2012 : The 33rd ACM SIGPLAN Conference of Programming Language Design and Implementation [pdf] [bib]

Project

• SNEC: Semantic-based Non-Essential Change Detection (2011 - Present)
• Global Sparse Analysis Framework (2011 - Present)
• Software Watermarking for C/C++/JAVA [news] [patent] (2009)

Teaching

• TA, Program Analysis, 2010, Spring
• TA, Programming Language, 2009, Fall

Contact

Kihong Heo
khheo (at) ropas.snu.ac.kr
+82-2-880-1865
Room 312-2, Building 302
School of Computer Science and Engineering
Seoul National University
1 Gwanak-ro, Gwanak-gu, Seoul 151-744, Korea