Conference Papers
2022
-
Operating System Support for Safe and Efficient Auxiliary Executions
Yuzhuo Jing, Peng Huang
OSDI'22 [paper] [slides] [presentation] [software] -
Demystifying and Checking Silent Semantic Violations in Large Distributed Systems
Chang Lou, Yuzhuo Jing, Peng Huang
OSDI'22 [paper] [presentation] [software]
2020
- BORA: A BAG Organizer for ROS Analysis
Jian Zhang, Tao Xie, Yuzhuo Jing, Yanjie Song, Guanzhou Hu, Si Chen, Shu Yin
SC'20 [paper] [ACM DL]