Kihong Heo -

Registered user since Sat 26 Aug 2017

Name: Kihong Heo

Country: South Korea

Affiliation: KAIST

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

Research interests: Program Analysis, Programming Language, Machine Learning

Contributions

OCaml 2021	Committee Member in Program Committee within the OCaml 2021-track
APLAS 2021	Committee Member in Program Committee
TAPAS 2020	Committee Member in Program Committee within the TAPAS-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