Kihong Heo (허기홍)

Assistant Professor
Graduate School of Information Security / School of Computing
Korea Advanced Institute of Science and Technology (KAIST)
     

Notice

I am looking for highly motivated students who are interested in program analysis, program synthesis/transformation, and machine learning techniques for next-generation programming systems. For more detailed information, see projects, publications, talks, or send me an email.

Vita

Present Assistant Professor, KAIST
2017 - 2019 Post-doctoral Researcher, University of Pennsylvania, (Advisor: Mayur Naik)
2017 Research Scientist (contingent), Facebook, (Static analysis team working on Infer)
2009 - 2017 Ph.D., Computer Science & Engineering, Seoul National University, (Advisor: Kwangkeun Yi)
2005 - 2009 B.S., Computer Science & Engineering, Seoul National University

News

Nov 2019 📰 I will be joining School of Computing / Graduate School of Information Security at KAIST as an assistant professor in Jan 2020.
Jun 2019 🏆 Our paper Continuously Reasoning about Programs via Differential Bayesian Inference won a Distinguished Paper Award at PLDI 2019.
May 2019 🏆 Our paper Resource-aware Program Analysis via Online Abstraction Coarsening won a Distinguised Paper Award at ICSE 2019.
May 2019 📄 Our paper Synthesizing Datalog Programs using Numerical Relaxation will appear at IJCAI 2019.
Jan 2019 ⚙️ We upgraded Chisel with the latest version of Clang. Try it!

Research Interest

My research aims to develop program reasoning systems for safe and reliable software. In particular, I am working on the following topics: For more information about my research, see projects, publications, and talks.

Software

I have contributed to the following open-source software:

Awards

Contact

kihong.heo (at) gmail.com
+82-42-350-3581
Room 2321, N5
School of Computing
Korea Advanced Institute of Science and Technology
291 Daehak-ro, Yuseong-gu, Daejeon 34141, Korea