Daejun Park
发表
Grigore Rosu,
Xiaohong Chen,
Daejun Park,
2018,
ISoLA.
Grigore Rosu,
Sandeep Dasgupta,
Vikram S. Adve,
2019,
PLDI.
Yi Zhang,
Nishant Rodrigues,
Grigore Rosu,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Grigore Rosu,
Daejun Park,
Andrei Stefanescu,
2016,
OOPSLA.
Jung Hee Cheon,
Dongwoo Kim,
Daejun Park,
2019,
IACR Cryptol. ePrint Arch..
Daejun Park,
Andrei Stefănescu,
Grigore Roşu,
2015,
PLDI.
Pranav Garg,
P. Madhusudan,
Daejun Park,
2017,
TACAS.
Jung Hee Cheon,
Daejun Park,
Kyoohyung Han,
2018,
IACR Cryptol. ePrint Arch..
Yi Zhang,
Grigore Rosu,
Daejun Park,
2018,
ESEC/SIGSOFT FSE.
Jung Hee Cheon,
Daejun Park,
Kyoohyung Han,
2019,
AAAI.
Jeehoon Kang,
Hakjoo Oh,
Kwangkeun Yi,
2014,
TOPL.
Vikram S. Adve,
Daejun Park,
Theodoros Kasampalis,
2021,
ASPLOS.