Bhargav S. Gulavani

According to our database, Bhargav S. Gulavani authored at least 12 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

CoRR, 2024

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

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2023

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

2022

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, 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

CoRR, 2022

2020

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

2011

Bottom-up shape analysis using LISF.

Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori

ACM Trans. Program. Lang. Syst., 2011

2010

Refining abstract interpretations.

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Inf. Process. Lett., 2010

2009

Bottom-Up Shape Analysis.

Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori

Proceedings of the Static Analysis, 16th International Symposium, 2009

2008

Automatically Refining Abstract Interpretations.

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis.

Bhargav S. Gulavani, Sumit Gulwani

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Counterexample Driven Refinement for Abstract Interpretation.

Bhargav S. Gulavani, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

SYNERGY: a new algorithm for property checking.

Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006