Yishuai Li

Yishuai Li

Alibaba Group - Sunnyvale / United States
Others
AD Scientific Index ID: 5413368
-
person_outline Yishuai Li's MOST POPULAR ARTICLES
1-) From C to Interaction Trees: Specifying, Verifying, and Testing a Networked ServerN Koh, Y Li, Y Li, L Xia, L Beringer, W Honoré, W Mansky, BC Pierce, ...Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019602019
2-) Verifying an HTTP Key-Value Server with Interaction Trees and VSTH Zhang, W Honoré, N Koh, Y Li, Y Li, LY Xia, L Beringer, W Mansky, ...12th International Conference on Interactive Theorem Proving (ITP 2021) 193 …, 2021272021
3-) Model-Based Testing of Networked ApplicationsY Li, BC Pierce, S ZdancewicProceedings of the 30th ACM SIGSOFT International Symposium on Software …, 202192021
4-) Timestamp as a Service, not an OracleY Li, Y Zhu, C Shi, G Zhang, J Wang, X ZhangProceedings of the VLDB Endowment 17 (5), 994--1006, 20242024
5-) Testing by DualizationY LiPublicly Accessible Penn Dissertations, 20222022