Kihong Heo

Registered user since Sat 26 Aug 2017

Name:Kihong Heo
Country:South Korea
Affiliation:KAIST
Research interests:Program Analysis, Programming Language, Machine Learning

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
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
Session Chair of Analysis / Synthesis (mirror) (part of Research Papers)
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
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
ICFP 2021 Session Chair of Ask Me Anything (part of Social Events)
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