• Sign in
  • Sign up
conf.researchr.org / Kihong Heo
  • ICFP 2019 profile
  • ICFP 2021 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • PLDI 2018 profile
  • PLDI 2019 profile
  • SPLASH 2017 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
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

Share
xWed 21 Apr 04:43
using conf.researchr.org (v1.45.0)
Support page
Sign Up