Yi Li
发表
M. Chechik,
Yi Li,
2012
.
J. Rubin,
M. Chechik,
Yi Li,
2018,
IEEE Transactions on Software Engineering.
Aws Albarghouthi,
A. Gurfinkel,
Zachary Kincaid,
2014,
POPL.
Yi Li,
2017
.
Yi Li,
Sheila A. McIlraith,
J. Christopher Beck,
2016,
KR.
Lihua Liu,
Jianmei Guo,
Yi Li,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Yi Li,
Chenguang Zhu,
Xiu-sheng Xu,
2023,
ArXiv.
Julia Rubin,
Sahar Badihi,
Yi Li,
2021,
2021 IEEE/ACM 18th International Conference on Mining Software Repositories (MSR).
ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code
Yi Li,
Julia Rubin,
Sahar Badihi,
2020,
ESEC/SIGSOFT FSE.
Marsha Chechik,
Federico Mora,
Yi Li,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marsha Chechik,
Chenguang Zhu,
Julia Rubin,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marsha Chechik,
Chenguang Zhu,
Yi Li,
2017,
SPLC.
Marsha Chechik,
Aws Albarghouthi,
Arie Gurfinkel,
2012,
CAV.
J. Rubin,
Yi Li,
Khaled Ahmed,
2023,
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).
Marsha Chechik,
Aws Albarghouthi,
Arie Gurfinkel,
2014,
POPL.
Marsha Chechik,
Chenguang Zhu,
Yi Li,
2017,
2017 IEEE/ACM 14th International Conference on Mining Software Repositories (MSR).
Shuvendu K. Lahiri,
Yi Li,
Akash Lal,
2015,
CAV.
Chenguang Zhu,
Yi Li,
Xiuheng Wu,
2021,
ESEC/SIGSOFT FSE.
Marsha Chechik,
Chenguang Zhu,
Yi Li,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marsha Chechik,
Sagar Chaki,
Aws Albarghouthi,
2013,
TACAS.