From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server N 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 …, 2019 | 61 | 2019 |
Verifying an HTTP Key-Value Server with Interaction Trees and VST H 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 …, 2021 | 29 | 2021 |
Model-Based Testing of Networked Applications Y Li, BC Pierce, S Zdancewic Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 9 | 2021 |
Timestamp as a Service, not an Oracle Y Li, Y Zhu, C Shi, G Zhang, J Wang, X Zhang Proceedings of the VLDB Endowment 17 (5), 994--1006, 2024 | | 2024 |
Testing by Dualization Y Li Publicly Accessible Penn Dissertations, 2022 | | 2022 |