Yichen Xie
发表
D. Engler,
Yichen Xie,
2003,
SOEN.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2006,
USENIX Security Symposium.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2005,
ESEC/FSE-13.
Dawson R. Engler,
Yichen Xie,
Seth Hallem,
2002,
PLDI '02.
A. Aiken,
Yichen Xie,
2005
.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2007,
TOPL.
A. Aiken,
M. Naik,
Yichen Xie,
2005
.
D. Engler,
Yichen Xie,
2002,
SIGSOFT '02/FSE-10.
V. Trifonov,
Yichen Xie,
2000
.
Jakob Rehof,
Yichen Xie,
Sriram K. Rajamani,
2004,
CAV.
D. Engler,
Yichen Xie,
2002,
SIGSOFT '02/FSE-10.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2005,
POPL '05.
Dawson R. Engler,
Andy Chou,
Yichen Xie,
2003,
ESEC/FSE-11.
Xiang Li,
YU Peng,
Yichen Xie,
2023,
SSRN Electronic Journal.
Yichen Xie,
Sriram K. Rajamani,
Shaz Qadeer,
2004,
CONCUR.
Junfeng Yang,
Dawson R. Engler,
Ted Kremenek,
2003,
CCS '03.
Andy Chou,
Yichen Xie,
Andy Chou,
2003
.