K. Heo
发表
M. Naik,
S. Kulkarni,
R. Zhang,
2018
.
M. Naik,
K. Heo,
2019
.
K. Heo,
Mukund Raghothaman,
Hyunsu Kim,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
K. Heo,
Wooseok Kang,
Byoungho Son,
2022,
CCS.
Hongseok Yang,
K. Heo,
Hakjoo Oh,
2017,
Formal Methods in System Design.
D. Park,
K. Yi,
Yongho Yoon,
2012
.
Hongseok Yang,
Hakjoo Oh,
Kwangkeun Yi,
2014,
PLDI.
Mayur Naik,
Pardis Pashakhanloo,
Woosuk Lee,
2018,
CCS.
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019,
IJCAI.
Mukund Raghothaman,
Mayur Naik,
Kihong Heo,
2018,
PLDI.
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis
Hongseok Yang,
Hakjoo Oh,
Kihong Heo,
2016,
SAS.
Hongseok Yang,
Hakjoo Oh,
Kwangkeun Yi,
2015,
ACM Trans. Program. Lang. Syst..
Jeehoon Kang,
Hakjoo Oh,
Kwangkeun Yi,
2014,
TOPL.
Hakjoo Oh,
Kwangkeun Yi,
Kihong Heo,
2017,
Softw. Pract. Exp..
S. Cha,
K. Heo,
Jaeseung Choi,
2023,
USENIX Security Symposium.
Hakjoo Oh,
Kwangkeun Yi,
Wonchan Lee,
2012,
PLDI.
Rajeev Alur,
Mayur Naik,
Woosuk Lee,
2018,
PLDI.
Hongseok Yang,
Hakjoo Oh,
Kihong Heo,
2018,
Formal Methods Syst. Des..
Hongseok Yang,
Hakjoo Oh,
Kwangkeun Yi,
2018,
ACM Trans. Program. Lang. Syst..
Hongseok Yang,
Hakjoo Oh,
Kihong Heo,
2017,
Proc. ACM Program. Lang..
K. Heo,
Hakjoo Oh,
Kwonsoo Chae,
2016,
ArXiv.
Hongseok Yang,
Hakjoo Oh,
Kihong Heo,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).