Prati
Yuzhuo Jing
Yuzhuo Jing
University of Michigan
Potvrđena adresa e-pošte na umich.edu - Početna stranica
Naslov
Citirano
Citirano
Godina
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
52022
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–4