Kihong Heo -

Registered user since Sat 26 Aug 2017

Name: Kihong Heo

Country: South Korea

Affiliation: Korea Advanced Institute of Science and Technology (KAIST)

Personal website: https://kihongheo.kaist.ac.kr

Research interests: Program Analysis, Programming Language, Machine Learning

Contributions

TAPAS 2020	Committee Member in Program Committee within the 11th Workshop on Tools for Automatic Program Analysis (TAPAS 2020)-track
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
ICSE 2020	Committee Member in Social Events within the Virtualization-track Asia (Indian) in Regional Live! Team Leaders within the Virtualization-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