( en | de | ru )

 

Disambiguation of "Heo, Kihong"

Author of the publication

copydeleteadd this publication to your clipboard
Adaptive Static Analysis via Learning with Bayesian Optimization.

, , , and . ACM Trans. Program. Lang. Syst., 40 (4): 14:1-14:37 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chanwook Heo

Kihong Kim

Seongmoo Heo

Yonggoo Heo

Kyu Heo

 

Other publications of authors with the same name

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis., , , , and . ACM Trans. Program. Lang. Syst., 38 (2): 6:1-6:45 (2016)DAFL: Directed Grey-box Fuzzing guided by Data Dependency., , , and . USENIX Security Symposium, page 4931-4948. USENIX Association, (2023)Continuously reasoning about programs using differential Bayesian inference., , , and . PLDI, page 561-575. ACM, (2019)Automatically generating features for learning program analysis heuristics for C-like languages., , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 101:1-101:25 (2017)Sound Non-Statistical Clustering of Static Analysis Alarms., , , , , and . ACM Trans. Program. Lang. Syst., 39 (4): 16:1-16:35 (2017)A sparse evaluation technique for detailed semantic analyses., , and . Comput. Lang. Syst. Struct., 40 (3-4): 99-111 (2014)Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses., , and . Formal Methods Syst. Des., 53 (2): 189-220 (2018)Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis., , and . Softw. Pract. Exp., 47 (11): 1677-1705 (2017)Learning Probabilistic Models for Static Analysis Alarms., , and . ICSE, page 1282-1293. ACM, (2022)Selective context-sensitivity guided by impact pre-analysis., , , , and . PLDI, page 475-484. ACM, (2014)