Woosuk Lee
发表
Kwangkeun Yi,
Wonchan Lee,
Woosuk Lee,
2012,
VMCAI.
Kyubum Wee,
Woosuk Lee,
K. Wee,
2005,
ECAL.
Hakjoo Oh,
Kwangkeun Yi,
Woosuk Lee,
2014,
SAS.
Mayur Naik,
Pardis Pashakhanloo,
Woosuk Lee,
2018,
CCS.
Jung Hee Cheon,
Hyunsook Hong,
Kwangkeun Yi,
2015,
SAS.
Hakjoo Oh,
Kwangkeun Yi,
Wonchan Lee,
2017,
ACM Trans. Program. Lang. Syst..
Hakjoo Oh,
Kwangkeun Yi,
Woosuk Lee,
2020
.
류기현,
Woosuk Lee,
OH Gyuhwan,
2017
.
Aws Albarghouthi,
Mayur Naik,
Xujie Si,
2018,
ESEC/SIGSOFT FSE.
Rajeev Alur,
Mayur Naik,
Woosuk Lee,
2018,
PLDI.
Hakjoo Oh,
Kwangkeun Yi,
Wonchan Lee,
2012,
PLDI.
Jeehoon Kang,
Hakjoo Oh,
Kwangkeun Yi,
2014,
TOPL.
Woosuk Lee,
Woosuk Lee,
2021,
Proc. ACM Program. Lang..