Bhargav S. Gulavani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2006–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EuroSys | 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 |
| 2024 | OSDI | 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 |
| 2019 | FAST | INSTalytics: Cluster Filesystem Co-design for Big-data Analytics. | Muthian Sivathanu, Midhul Vuppalapati, Bhargav S. Gulavani, Kaushik Rajan, Jyoti Leeka, Jayashree Mohan, Piyus Kedia |
| 2009 | SAS | Bottom-Up Shape Analysis. | Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori |
| 2008 | CAV | A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. | Bhargav S. Gulavani, Sumit Gulwani |
| 2008 | TACAS | Automatically Refining Abstract Interpretations. | Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani |
| 2006 | TACAS | Counterexample Driven Refinement for Abstract Interpretation. | Bhargav S. Gulavani, Sriram K. Rajamani |