Travelled to:1 × China
1 × United Kingdom
Collaborated with:M.Naik H.Oh M.Raghothaman H.Yang W.Lee W.Lee K.Yi Kwonsoo Chae R.Alur Sulekha Kulkarni X.Si
Talks about:program (4) use (3) bayesian (2) languag (2) analysi (2) reason (2) learn (2) infer (2) like (2) guid (2)
Person: Kihong Heo
DBLP: Heo:Kihong
Contributed to:
20142012
201720182019Wrote 6 papers:
- PLDI-2014-OhLHYY #context-sensitive grammar
- Selective context-sensitivity guided by impact pre-analysis (HO, WL, KH, HY, KY), p. 49.
- PLDI-2012-OhHLLY #analysis #design #implementation
- Design and implementation of sparse global analyses for C-like languages (HO, KH, WL, WL, KY), pp. 229–238.
- OOPSLA-2017-ChaeOHY #automation #generative #heuristic #learning #program analysis
- Automatically generating features for learning program analysis heuristics for C-like languages (KC, HO, KH, HY), p. 25.
- PLDI-2018-LeeHAN #modelling #probability #search-based #synthesis #using
- Accelerating search-based program synthesis using learned probabilistic models (WL, KH, RA, MN), pp. 436–449.
- PLDI-2018-RaghothamanKHN #reasoning #using
- User-guided program reasoning using Bayesian inference (MR, SK, KH, MN), pp. 722–735.
- PLDI-2019-HeoRSN #difference #reasoning #source code #using
- Continuously reasoning about programs using differential Bayesian inference (KH, MR, XS, MN), pp. 561–575.