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
POPL 2022	Committee Member in Program Committee within the POPL-track
APLAS 2021	Committee Member in Program Committee within the Research Papers-track
TAPAS 2020	Committee Member in Program Committee within the TAPAS-track
ESEC/FSE 2021	Author of Boosting Static Analysis Accuracy with Instrumented Test Executions within the Research Papers-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