I am currently a second-year Ph.D. candidate at the Computer Systems Research Group in the School of Computer Science at Peking University, advised by Prof. Xin Jin. Prior to that, I received my B.S. in Computer Science, also from Peking University.
My research interests include system and algorithm design for generative AI (primarily LLMs), formal verification, and now their potential crossover. I am also a bit of a programming language nerd.
Outside of my academic life, I like music! I am a self-taught guitar player and enjoy a lot of j-rock / j-pop / jazz / fusion music.
📍 Beijing, China
📧 xiangyx (at) stu (dot) pku (dot) edu (dot) cn
[GitHub] [Google Scholar] [ORCID]
Publications
Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization
Yuxing Xiang, Rilin Huang, Naiqian Zheng, Xin Jin
NSDI 2026 (TBA)
ServeGen: Workload Characterization and Generation of Large Language Model Serving in Production
Yuxing Xiang, Xue Li, Kun Qian, Yan Zhang, Wenyuan Yu, Ennan Zhai, Xin Jin, Jingren Zhou
NSDI 2026 [Arxiv] (TBA)
Aegaeon: Effective GPU Pooling for Concurrent LLM Serving on the Market
Yuxing Xiang, Xue Li, Kun Qian, Yufan Yang, Diwen Zhu, Wenyuan Yu, Ennan Zhai, Xuanzhe Liu, Xin Jin, Jingren Zhou
SOSP 2025 [PDF] [Slides]
Automated Verification of an In-Production DNS Authoritative Engine
Naiqian Zheng*, Mengqi Liu*, Yuxing Xiang, Ennan Zhai, Linjian Song, Dong Li, Feng Han, Nan Wang, Yong Ma, Zhuo Liang, Dennis Cai, Xuanzhe Liu, Xin Jin (*Co-first)
SOSP 2023 [PDF] [Slides]
Service
[2025] SOSP Artifact Evaluation Committee
Teaching
[2025 Spring] TA, Operating Systems (Honor Track)
[2023 Fall] TA, Introduction to Computer System
[2022 Fall] TA, Introduction to Computer System
Internship
[2025.11 - Now] Research Intern @ Xiaomi LLM Core Team, on the Verge project
[2025.06 - 2025.11] Research Intern @ Tencent Wechat Group (WXG), on prefill-decode disaggregated LLM serving systems
[2024.05 - 2025.06] Research Intern @ Alibaba Cloud, on LLM serving systems
[2023.02 - 2023.09] Research Intern @ Alibaba Cloud, on formal verification of DNS
Honors and Awards
[2024] Excellent Graduate (Peking University)
[2023, 2022] Merit Student Pacesetter (Peking University)
[2023, 2022] Huatai Science and Technology Scholarship (Peking University)
[2021] Merit Student (Peking University)
[2021] Shenzhen Finance Institute Scholarship (Peking University)
