Politeness for the Theory of Algebraic Datatypes. - Ying Sheng 007; Yoni Zohar; Christophe Ringeissen; Jane Lange; Pascal Fontaine; Clark W. Barrett (IJCAR (1), 2020)

Politeness and Stable Infiniteness: Stronger Together. - Ying Sheng 007; Yoni Zohar; Christophe Ringeissen; Andrew Reynolds 001; Clark W. Barrett; Cesare Tinelli (CADE, 2021)

Politeness for the Theory of Algebraic Datatypes (Extended Abstract). - Ying Sheng 007; Yoni Zohar; Christophe Ringeissen; Jane Lange; Pascal Fontaine; Clark W. Barrett (IJCAI, 2021)

Reasoning About Vectors Using an SMT Theory of Sequences. - Ying Sheng 007; Andres Nötzli; Andrew Reynolds 001; Yoni Zohar; David L. Dill; Wolfgang Grieskamp; Junkil Park; Shaz Qadeer; Clark W. Barrett; Cesare Tinelli (IJCAR, 2022)

cvc5: A Versatile and Industrial-Strength SMT Solver. - Haniel Barbosa; Clark W. Barrett; Martin Brain; Gereon Kremer; Hanna Lachnitt; Makai Mann; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; et al. (TACAS (1), 2022)

Polite Combination of Algebraic Datatypes. - Ying Sheng 007; Yoni Zohar; Christophe Ringeissen; Jane Lange; Pascal Fontaine; Clark W. Barrett (J. Autom. Reason., 2022)

Read-once refutations in Horn constraint systems: an algorithmic approach. - K. Subramani 001; Piotr Wojciechowski 002; Ying Sheng 007 (J. Log. Comput., 2022)

FlexGen: High-Throughput Generative Inference of Large Language Models with a Single GPU. - Ying Sheng 007; Lianmin Zheng; Binhang Yuan; Zhuohan Li 001; Max Ryabinin; Beidi Chen; Percy Liang; Christopher Ré; Ion Stoica; Ce Zhang 001 (ICML, 2023)

H2O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models. - Zhenyu Zhang 015; Ying Sheng 007; Tianyi Zhou 001; Tianlong Chen 001; Lianmin Zheng; Ruisi Cai; Zhao Song 002; Yuandong Tian; Christopher Ré; Clark W. Barrett; Zhangyang Wang; Beidi Chen (NeurIPS, 2023)

Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena. - Lianmin Zheng; Wei-Lin Chiang; Ying Sheng 007; Siyuan Zhuang; Zhanghao Wu; Yonghao Zhuang 001; Zi Lin; Zhuohan Li 001; Dacheng Li; Eric P. Xing; Hao Zhang 025; Joseph E. Gonzalez; et al. (NeurIPS, 2023)

Towards Optimal Caching and Model Selection for Large Model Inference. - Banghua Zhu; Ying Sheng 007; Lianmin Zheng; Clark W. Barrett; Michael I. Jordan; Jiantao Jiao (NeurIPS, 2023)

AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving. - Zhuohan Li 001; Lianmin Zheng; Yinmin Zhong; Vincent Liu 001; Ying Sheng 007; Xin Jin 008; Yanping Huang; Zhifeng Chen; Hao Zhang 025; Joseph E. Gonzalez; Ion Stoica (OSDI, 2023)

Efficient Memory Management for Large Language Model Serving with PagedAttention. - Woosuk Kwon; Zhuohan Li 001; Siyuan Zhuang; Ying Sheng 007; Lianmin Zheng; Cody Hao Yu; Joseph Gonzalez 001; Hao Zhang 025; Ion Stoica (SOSP, 2023)

High-throughput Generative Inference of Large Language Models with a Single GPU. - Ying Sheng 007; Lianmin Zheng; Binhang Yuan; Zhuohan Li 001; Max Ryabinin; Daniel Y. Fu; Zhiqiang Xie; Beidi Chen; Clark W. Barrett; Joseph E. Gonzalez; Percy Liang; Christopher Ré; et al. (CoRR, 2023)

On Optimal Caching and Model Multiplexing for Large Model Inference. - Banghua Zhu; Ying Sheng 007; Lianmin Zheng; Clark W. Barrett; Michael I. Jordan; Jiantao Jiao (CoRR, 2023)

H2O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models. - Zhenyu Zhang 015; Ying Sheng 007; Tianyi Zhou 002; Tianlong Chen 001; Lianmin Zheng; Ruisi Cai; Zhao Song 002; Yuandong Tian; Christopher Ré; Clark W. Barrett; Zhangyang Wang; Beidi Chen (CoRR, 2023)

S-LoRA: Serving Thousands of Concurrent LoRA Adapters. - Ying Sheng 007; Shiyi Cao; Dacheng Li; Coleman Hooper; Nicholas Lee; Shuo Yang; Christopher Chou; Banghua Zhu; Lianmin Zheng; Kurt Keutzer; Joseph E. Gonzalez; Ion Stoica (CoRR, 2023)

Efficiently Programming Large Language Models using SGLang. - Lianmin Zheng; Liangsheng Yin; Zhiqiang Xie; Jeff Huang 001; Chuyue Sun; Cody Hao Yu; Shiyi Cao; Christos Kozyrakis; Ion Stoica; Joseph E. Gonzalez; Clark W. Barrett; Ying Sheng 007 (CoRR, 2023)

Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. - Ying Sheng 007; Andres Nötzli; Andrew Reynolds 001; Yoni Zohar; David L. Dill; Wolfgang Grieskamp; Junkil Park; Shaz Qadeer; Clark W. Barrett; Cesare Tinelli (J. Autom. Reason., 2023)

Combining Stable Infiniteness and (Strong) Politeness. - Ying Sheng 007; Yoni Zohar; Christophe Ringeissen; Andrew Reynolds 001; Clark W. Barrett; Cesare Tinelli (J. Autom. Reason., 2023)

Inference-Friendly Models With MixAttention. - Shashank Rajput; Ying Sheng 007; Sean Owen; Vitaliy Chiley (ENLSP, 2024)

LMSYS-Chat-1M: A Large-Scale Real-World LLM Conversation Dataset. - Lianmin Zheng; Wei-Lin Chiang; Ying Sheng 007; Tianle Li; Siyuan Zhuang; Zhanghao Wu; Yonghao Zhuang 001; Zhuohan Li 001; Zi Lin; Eric P. Xing; Joseph E. Gonzalez; Ion Stoica; et al. (ICLR, 2024)

Chatbot Arena: An Open Platform for Evaluating LLMs by Human Preference. - Wei-Lin Chiang; Lianmin Zheng; Ying Sheng 007; Anastasios Nikolas Angelopoulos; Tianle Li; Dacheng Li; Banghua Zhu; Hao Zhang 025; Michael I. Jordan; Joseph E. Gonzalez; Ion Stoica (ICML, 2024)

SLoRA: Scalable Serving of Thousands of LoRA Adapters. - Ying Sheng 007; Shiyi Cao; Dacheng Li; Coleman Hooper; Nicholas Lee; Shuo Yang; Christopher Chou; Banghua Zhu; Lianmin Zheng; Kurt Keutzer; Joseph Gonzalez 001; Ion Stoica (MLSys, 2024)

SGLang: Efficient Execution of Structured Language Model Programs. - Lianmin Zheng; Liangsheng Yin; Zhiqiang Xie; Chuyue Sun; Jeff Huang 001; Cody Hao Yu; Shiyi Cao; Christos Kozyrakis; Ion Stoica; Joseph E. Gonzalez; Clark W. Barrett; Ying Sheng 007 (NeurIPS, 2024)

Fairness in Serving Large Language Models. - Ying Sheng 007; Shiyi Cao; Dacheng Li; Banghua Zhu; Zhuohan Li 001; Danyang Zhuo; Joseph E. Gonzalez; Ion Stoica (OSDI, 2024)

Clover: Closed-Loop Verifiable Code Generation. - Chuyue Sun; Ying Sheng 007; Oded Padon; Clark W. Barrett (SAIV, 2024)

SORRY-Bench: Systematically Evaluating Large Language Model Safety Refusal Behaviors. - Tinghao Xie; Xiangyu Qi; Yi Zeng 005; Yangsibo Huang; Udari Madhushani Sehwag; Kaixuan Huang; Luxi He; Boyi Wei; Dacheng Li; Ying Sheng 007; Ruoxi Jia 001; Bo Li 026; et al. (CoRR, 2024)

Post-Training Sparse Attention with Double Sparsity. - Shuo Yang; Ying Sheng 007; Joseph E. Gonzalez; Ion Stoica; Lianmin Zheng (CoRR, 2024)

AI Metropolis: Scaling Large Language Model-based Multi-Agent Simulation with Out-of-order Execution. - Zhiqiang Xie; Hao Kang; Ying Sheng 007; Tushar Krishna; Kayvon Fatahalian; Christos Kozyrakis (CoRR, 2024)

MoE-Lightning: High-Throughput MoE Inference on Memory-constrained GPUs. - Shiyi Cao; Shu Liu; Tyler Griggs; Peter Schafhalter; Xiaoxuan Liu; Ying Sheng 007; Joseph E. Gonzalez; Matei Zaharia; Ion Stoica (ASPLOS (1), 2025)

SORRY-Bench: Systematically Evaluating Large Language Model Safety Refusal. - Tinghao Xie; Xiangyu Qi; Yi Zeng 005; Yangsibo Huang; Udari Madhushani Sehwag; Kaixuan Huang; Luxi He; Boyi Wei; Dacheng Li; Ying Sheng 007; Ruoxi Jia 001; Bo Li 026; et al. (ICLR, 2025)

DafnyBench: A Benchmark for Formal Software Verification. - Chloe Loughridge; Qinyi Sun; Seth Ahrenbach; Federico Cassano; Chuyue Sun; Ying Sheng 007; Anish Mudide; Md Rakib Hossain Misu; Nada Amin; Max Tegmark (Trans. Mach. Learn. Res., 2025)

Locality-aware Fair Scheduling in LLM Serving. - Shiyi Cao; Yichuan Wang; Ziming Mao; Pin-Lun Hsu; Liangsheng Yin; Tian Xia; Dacheng Li; Shu Liu; Yineng Zhang; Yang Zhou; Ying Sheng 007; Joseph Gonzalez 001; et al. (CoRR, 2025)

Prism: Unleashing GPU Sharing for Cost-Efficient Multi-LLM Serving. - Shan Yu; Jiarong Xing; Yifan Qiao; Mingyuan Ma; Yangmin Li 002; Yang Wang; Shuo Yang; Zhiqiang Xie; Shiyi Cao; Ke Bao; Ion Stoica; Harry Xu 001; et al. (CoRR, 2025)