Ying Sheng
ASSISTANT PROFESSOR (BEGINNING JULY 1, 2026)
COMPUTER SCIENCE
Phone: (310) 206-3321
Fax: (310) 825-2273
RESEARCH AND INTERESTS
- Large Language Models, Machine Learning Systems, Machine Learning for Programs
- Formal Methods, Automated Reasoning
- Code Generation
NOTABLE PUBLICATIONS
- Clover: Closed-Loop Verifiable Code Generation, SAIV 2024, POPL Dafny Workshop 2024. Chuyue Sun, Ying Sheng, Oded Padon, Clark Barrett.
- Chatbot arena: An open platform for evaluating LLMs by human preference, ICML 2024. Wei-Lin Chiang, Lianmin Zheng, Ying Sheng, Anastasios Nikolas Angelopoulos, Tianle Li, Dacheng Li, Hao Zhang, Banghua Zhu, Michael Jordan, Joseph E Gonzalez, Ion Stoica.
- Fairness in Serving Large Language Models, OSDI 2024. Ying Sheng, Shiyi Cao, Dacheng Li, Banghua Zhu, Zhuohan Li, Danyang Zhuo, Joseph E. Gonzalez, Ion Stoica.
- LMSYS-Chat-1M: A Large-Scale Real-World LLM Conversation Dataset, ICLR 2024. Lianmin Zheng, Wei- Lin Chiang, Ying Sheng, Tianle Li, Siyuan Zhuang, Zhanghao Wu, Yonghao Zhuang, Zhuohan Li, Zi Lin, Eric Xing, Joseph E Gonzalez, Ion Stoica, Hao Zhang
- S-LoRA: Serving Thousands of Concurrent LoRA Adapters, MLSys 2024. Ying Sheng, Shiyi Cao, Dacheng Li, Coleman Hooper, Nicholas Lee, Shuo Yang, Christopher Chou, Banghua Zhu, Lianmin Zheng, Kurt Keutzer, Joseph E Gonzalez, Ion Stoica.
EDUCATION
PhD, (2023) Stanford University, Computer Science
AWARDS AND RECOGNITION
- Recipient of the a16z Open Source AI Grant, 2023
- Best tool paper award at the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 2022