Follow
Yuzhuo Jing
Yuzhuo Jing
University of Michigan
Verified email at umich.edu - Homepage
Title
Cited by
Cited by
Year
Demystifying and Checking Silent Semantic Violations in Large Distributed Systems
C Lou, Y Jing, P Huang
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022
62022
Operating System Support for Safe and Efficient Auxiliary Execution
Y Jing, P Huang
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022
32022
A promise is not a promise—demystifying and checking silent semantic violations in large distributed systems
C Lou, Y Jing, P Huang
Technical report, Johns Hopkins University, July 2022. https://orderlab. io …, 2022
22022
BORA: a bag optimizer for robotic analysis
J Zhang, T Xie, Y Jing, Y Song, G Hu, S Chen, S Yin
SC20: International Conference for High Performance Computing, Networking …, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–4