Bhargav S. Gulavani

17 papers A* 2A 4B 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient LLM Inference via Chunked Prefills.
ACM SIGOPS Oper. Syst. Rev.
Arney Agrawal, Nitin Kedia, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav S. Gulavani, Alexey Tumanov, Ramachandran Ramjee
2024 A conf
Just-In-Time Checkpointing: Low Cost Error Recovery from Deep Learning Training Failures.
EuroSys
Tanmaey Gupta, Sanjeev Krishnan, Rituraj Kumar, Abhishek Vijeev, Bhargav S. Gulavani, Nipun Kwatra, Ramachandran Ramjee, Muthian Sivathanu
2024 A* conf
Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve.
OSDI
Amey Agrawal, Nitin Kedia, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav S. Gulavani, Alexey Tumanov, Ramachandran Ramjee
2024 J jnl
Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve.
CoRR
Amey Agrawal, Nitin Kedia, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav S. Gulavani, Alexey Tumanov, Ramachandran Ramjee
2024 — conf
VIDUR: A Large-Scale Simulation Framework for LLM Inference.
MLSys
Amey Agrawal, Nitin Kedia, Jayashree Mohan, Ashish Panwar, Nipun Kwatra, Bhargav S. Gulavani, Ramachandran Ramjee, Alexey Tumanov
2024 J jnl
Vidur: A Large-Scale Simulation Framework For LLM Inference.
CoRR
Amey Agrawal, Nitin Kedia, Jayashree Mohan, Ashish Panwar, Nipun Kwatra, Bhargav S. Gulavani, Ramachandran Ramjee, Alexey Tumanov
2023 J jnl
SARATHI: Efficient LLM Inference by Piggybacking Decodes with Chunked Prefills.
CoRR
Amey Agrawal, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav S. Gulavani, Ramachandran Ramjee
2022 J jnl
Singularity: Planet-Scale, Preemptive and Elastic Scheduling of AI Workloads.
CoRR
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, Vaibhav Sharma, Abhishek Singh, Shreshth Singhal, Kaustubh Welankar, Lu Xun, Ravi Anupindi, Karthik Elangovan, Hasibur Rahman, Zhou Lin, Rahul Seetharaman, Cheng Xu, Eddie Ailijiang, Suresh Krishnappa, Mark Russinovich
2020 J jnl
INSTalytics: Cluster Filesystem Co-design for Big-data Analytics.
ACM Trans. Storage
Muthian Sivathanu, Midhul Vuppalapati, Bhargav S. Gulavani, Kaushik Rajan, Jyoti Leeka, Jayashree Mohan, Piyus Kedia
2019 A conf
INSTalytics: Cluster Filesystem Co-design for Big-data Analytics.
FAST
Muthian Sivathanu, Midhul Vuppalapati, Bhargav S. Gulavani, Kaushik Rajan, Jyoti Leeka, Jayashree Mohan, Piyus Kedia
2011 J jnl
Bottom-up shape analysis using LISF.
ACM Trans. Program. Lang. Syst.
Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori
2010 J jnl
Refining abstract interpretations.
Inf. Process. Lett.
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
2009 B conf
Bottom-Up Shape Analysis.
SAS
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori
2008 A* conf
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis.
CAV
Bhargav S. Gulavani, Sumit Gulwani
2008 A conf
Automatically Refining Abstract Interpretations.
TACAS
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
2006 A conf
Counterexample Driven Refinement for Abstract Interpretation.
TACAS
Bhargav S. Gulavani, Sriram K. Rajamani
2006 — conf
SYNERGY: a new algorithm for property checking.
SIGSOFT FSE
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani