BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Heo:Kihong

Contributed to:

PLDI 20142014
PLDI 20122012
OOPSLA 20172017
PLDI 20182018
PLDI 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.