Kihong Heo -

Registered user since Sat 26 Aug 2017

Name: Kihong Heo

Country: United States

Affiliation: University of Pennsylvania, USA

Personal website: http://www.seas.upenn.edu/~kheo

Research interests: Program Analysis, Programming Language, Machine Learning

Contributions

PLDI 2019	Committee Member in External Review Committee within the PLDI Research Papers-track Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track
ICFP 2019	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICSE 2019	Author of Resource-aware Program Analysis via Online Abstraction Coarsening within the Technical Track-track
PLDI 2018	Author of Accelerating Search-Based Program Synthesis using Learned Probabilistic Models within the PLDI Research Papers-track Author of User-Guided Program Reasoning using Bayesian Inference within the PLDI Research Papers-track
SPLASH 2017	Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the OOPSLA-track