SYNERGY: a new algorithm for property checking. - Bhargav S. Gulavani; Thomas A. Henzinger; Yamini Kannan; Aditya V. Nori; Sriram K. Rajamani (SIGSOFT FSE, 2006)

Counterexample Driven Refinement for Abstract Interpretation. - Bhargav S. Gulavani; Sriram K. Rajamani (TACAS, 2006)

A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. - Bhargav S. Gulavani; Sumit Gulwani (CAV, 2008)

Automatically Refining Abstract Interpretations. - Bhargav S. Gulavani; Supratik Chakraborty; Aditya V. Nori; Sriram K. Rajamani (TACAS, 2008)

Bottom-Up Shape Analysis. - Bhargav S. Gulavani; Supratik Chakraborty; Ganesan Ramalingam; Aditya V. Nori (SAS, 2009)

Refining abstract interpretations. - Bhargav S. Gulavani; Supratik Chakraborty; Aditya V. Nori; Sriram K. Rajamani (Inf. Process. Lett., 2010)

Bottom-up shape analysis using LISF. - Bhargav S. Gulavani; Supratik Chakraborty; G. Ramalingam; Aditya V. Nori (ACM Trans. Program. Lang. Syst., 2011)

INSTalytics: Cluster Filesystem Co-design for Big-data Analytics. - Muthian Sivathanu; Midhul Vuppalapati; Bhargav S. Gulavani; Kaushik Rajan; Jyoti Leeka; Jayashree Mohan; Piyus Kedia (ACM Trans. Storage, 2020)

Singularity: Planet-Scale, Preemptive and Elastic Scheduling of AI Workloads. - Dharma Shukla; Muthian Sivathanu; Srinidhi Viswanatha; Bhargav S. Gulavani; Rimma Nehme; Amey Agrawal; Chen Chen; Nipun Kwatra; Ramachandran Ramjee; Pankaj Sharma; Atul Katiyar; Vipul Modi; et al. (CoRR, 2022)

SARATHI: Efficient LLM Inference by Piggybacking Decodes with Chunked Prefills. - Amey Agrawal; Ashish Panwar; Jayashree Mohan; Nipun Kwatra; Bhargav S. Gulavani; Ramachandran Ramjee (CoRR, 2023)

Just-In-Time Checkpointing: Low Cost Error Recovery from Deep Learning Training Failures. - Tanmaey Gupta; Sanjeev Krishnan; Rituraj Kumar; Abhishek Vijeev; Bhargav S. Gulavani; Nipun Kwatra; Ramachandran Ramjee; Muthian Sivathanu (EuroSys, 2024)

VIDUR: A Large-Scale Simulation Framework for LLM Inference. - Amey Agrawal; Nitin Kedia; Jayashree Mohan; Ashish Panwar; Nipun Kwatra; Bhargav S. Gulavani; Ramachandran Ramjee; Alexey Tumanov (MLSys, 2024)

Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve. - Amey Agrawal; Nitin Kedia; Ashish Panwar; Jayashree Mohan; Nipun Kwatra; Bhargav S. Gulavani; Alexey Tumanov; Ramachandran Ramjee (OSDI, 2024)

Efficient LLM Inference via Chunked Prefills. - Arney Agrawal; Nitin Kedia; Ashish Panwar; Jayashree Mohan; Nipun Kwatra; Bhargav S. Gulavani; Alexey Tumanov; Ramachandran Ramjee (ACM SIGOPS Oper. Syst. Rev., 2025)