Kihong Heo (허기홍)

Post-doctoral Researcher
Computer and Information Science
University of Pennsylvania
     

Notice

I will be joining School of Computer Science / Graduate School of Information Security at KAIST as an assistant professor in Jan 2020. 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 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 Computer Science / 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

kheo (at) cis.upenn.edu
Computer and Information Science
University of Pennsylvania
Room 361, Levine Hall
3330 Walnut St, Philadelphia, PA 19104, USA