( en | de | ru )

 

Disambiguierung von "Heo, Kihong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Adaptive Static Analysis via Learning with Bayesian Optimization.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Chanwook Heo

Kihong Kim

Seongmoo Heo

Yonggoo Heo

Kyu Heo

 

Weitere Publikationen von Autoren mit dem selben Namen

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