BORA: a bag optimizer for robotic analysis. - Jian Zhang 070; Tao Xie 004; Yuzhuo Jing; Yanjie Song; Guanzhou Hu; Si Chen 009; Shu Yin 001 (SC, 2020)

Operating System Support for Safe and Efficient Auxiliary Execution. - Yuzhuo Jing; Peng Huang 005 (OSDI, 2022)

Demystifying and Checking Silent Semantic Violations in Large Distributed Systems. - Chang Lou; Yuzhuo Jing; Peng Huang 005 (OSDI, 2022)

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 004; Suman Nath; Peng Huang 005 (OSDI, 2025)