Yichen Xie
发表
Junfeng Yang,
Dawson R. Engler,
Ted Kremenek,
2003,
CCS '03.
Cewu Lu,
Yichen Xie,
Hao-Shu Fang,
2020,
AAAI.
Dawson R. Engler,
Yichen Xie,
2003,
IEEE Trans. Software Eng..
Cewu Lu,
Yichen Xie,
Hao-Shu Fang,
2020,
ArXiv.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2007,
TOPL.
Yichen Xie,
2016,
2016 IEEE 20th International Conference on Computer Supported Cooperative Work in Design (CSCWD).
Alexander Aiken,
Yichen Xie,
A. Aiken,
2006,
USENIX Security Symposium.
Dawson R. Engler,
Andy Chou,
Yichen Xie,
2003,
ESEC/FSE-11.
Dawson R. Engler,
Yichen Xie,
2002,
SIGSOFT FSE.
Quanshi Zhang,
Hao Zhang,
Yichen Xie,
2020,
ArXiv.
Quanshi Zhang,
Yichen Xie,
Hao Zhang,
2020
.
Yichen Xie,
2007
.
Quanshi Zhang,
Yichen Xie,
Hao Zhang,
2020,
ArXiv.
Dawson R. Engler,
Yichen Xie,
Seth Hallem,
2002,
PLDI '02.
Alexander Aiken,
Yichen Xie,
2005,
CAV.
Yichen Xie,
Alex Aiken,
2006
.
Yichen Xie,
Sriram K. Rajamani,
Shaz Qadeer,
2004,
CONCUR.
Jakob Rehof,
Yichen Xie,
Sriram K. Rajamani,
2004,
CAV.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2005,
POPL '05.
Alexander Aiken,
Yichen Xie,
A. Aiken,
2005,
ESEC/FSE-13.
Andy Chou,
Yichen Xie,
2003
.