CV

Education

• B.S. in Shanghai JiaoTong University, ACM Honors Class, 2017-2021
• Ph.D in Operating Systems, Shanghai JiaoTong University, School of Software, Advisor: Prof. Haibo Chen, Prof. Binyu Zang, Prof. Jinyu Gu, 2021-2026 (expected)

Publications

SDCs in the Wild: Characterizing and Diagnosing SDC-defective GPUs in Production LLM Training

Wenxin Zheng, Wenxiao Wang, Yun Zhang, Mingcong Han, Bin Xu, Jinyu Gu, Xingda Wei, Haibo Chen, Zuquan Song, Gaohong Liu, Yucheng Nie, Zhe Nan, Zhuolin Zheng, Huan Yu, Shuguang Wang, Ziming Zhou, Hang Zhu, Wencong Xiao, and Xin Liu. "SDCs in the Wild: Characterizing and Diagnosing SDC-defective GPUs in Production LLM Training". In 2026 USENIX Symposium on Operating Systems Design and Implementation (OSDI 26) (2026).

VUDA: Breaking CUDA-Vulkan Isolation for Spatial Sharing of Compute and Graphics on the Same GPU

Bin Xu, Pengfei Hu, Wenxin Zheng, Jinyu Gu, and Haibo Chen. "VUDA: Breaking CUDA-Vulkan Isolation for Spatial Sharing of Compute and Graphics on the Same GPU". arXiv preprint arXiv:2605.01352 (2026).

Performance Isolation and Semantic Determinism in Efficient GPU Spatial Sharing

Zhenyuan Yang, Wenxin Zheng, Mingyu Li, and Haibo Chen. "Performance Isolation and Semantic Determinism in Efficient GPU Spatial Sharing". arXiv preprint arXiv:2603.15042 (2026).

Skills Are the New Apps – Now It’s Time for Skill OS

Le Chen, Zichang Wang, Wenxin Zheng, Erhu Feng, Dong Du, Yubin Xia, and Haibo Chen. "Skills Are the New Apps – Now It's Time for Skill OS". Preprints.org (2026).

Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization

Shihan Fang and Wenxin Zheng. "Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization". arXiv preprint arXiv:2510.04890 (2025).

Leveraging OS-Level Primitives for Robotic Action Management

Wenxin Zheng, Boyang Li, Bin Xu, Erhu Feng, Jinyu Gu, and Haibo Chen. "Leveraging OS-Level Primitives for Robotic Action Management". arXiv preprint arXiv:2508.10259 (2025).

SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips

Wenxin Zheng, Bin Xu, Jinyu Gu, and Haibo Chen. "SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips". In 2025 USENIX Annual Technical Conference (USENIX ATC 25) (2025).

CodeCMR: Cross-Modal Retrieval For Function-Level Binary Source Code Matching

Zeping Yu, Wenxin Zheng, Jiaqi Wang, Qiyi Tang, Sen Nie, Shi Wu. “CodeCMR: Cross-Modal Retrieval For Function-Level Binary Source Code Matching”. In Advances in Neural Information Processing Systems 33 (2020).