Yilong Li
Title
Cited by
Cited by
Year
Semantics-based program verifiers for all languages
A Stefănescu, D Park, S Yuwen, Y Li, G Roşu
ACM SIGPLAN Notices 51 (10), 74-91, 2016
812016
Homa: A receiver-driven low-latency transport protocol using network priorities
B Montazeri, Y Li, M Alizadeh, J Ousterhout
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018
792018
Homa: A Receiver-Driven Low-Latency Transport Protocol Using Network Priorities (Complete Version)
B Montazeri, Y Li, M Alizadeh, J Ousterhout
arXiv preprint arXiv:1803.09615, 2018
792018
The system can't perform the operation now. Try again later.
Articles 1–3