Yuzhuo Jing

According to our database, Yuzhuo Jing authored at least 4 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems.

Chang Lou, Dimas Shidqi Parikesit, Yujin Huang, Zhewen Yang, Senapati Diwangkara, Yuzhuo Jing, Achmad Imam Kistijantoro, Ding Yuan, Suman Nath, Peng Huang

Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, 2025

2022

Demystifying and Checking Silent Semantic Violations in Large Distributed Systems.

Chang Lou, Yuzhuo Jing, Peng Huang

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Operating System Support for Safe and Efficient Auxiliary Execution.

Yuzhuo Jing, Peng Huang

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2020

BORA: a bag optimizer for robotic analysis.

Jian Zhang, Tao Xie, Yuzhuo Jing, Yanjie Song, Guanzhou Hu, Si Chen, Shu Yin

Proceedings of the International Conference for High Performance Computing, 2020