Follow
Yilong Li
Title
Cited by
Cited by
Year
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
4292018
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
4292018
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
1332016
Systematic testing of refactoring engines on real software projects
M Gligoric, F Behrang, Y Li, J Overbey, M Hafiz, D Marinov
ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013
692013
Runtime verification at work: A tutorial
P Daian, D Guth, C Hathhorn, Y Li, E Pek, M Saxena, TF Şerbănuţă, ...
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
122016
MilliSort and MilliQuery: Large-Scale Data-Intensive Computing in Milliseconds
Y Li, SJ Park, J Ousterhout
18th {USENIX} Symposium on Networked Systems Design and Implementation …, 2021
112021
Efficient shuffle for flash burst computing
Y Li
https://searchworks.stanford.edu/view/14419416, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–7