Get started
Author

Bhargav S. Gulavani

Observed names: Bhargav Gulavani, Gulavani, Bhargav, Gulavani, Bhargav S.
ORCID: 0009-0003-4862-0057
Observed ORCID: 0009-0003-4862-0057
OpenAlex ID: A5028750260
SYNERGY
2006 · Bhargav S. Gulavani, Thomas A. Henzinger, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 249
Automatically Refining Abstract Interpretations
2008 · Bhargav S. Gulavani, Supratik Chakraborty, et al. · Springer eBooks · 89
PDF
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
2008 · Bhargav S. Gulavani, Sumit Gulwani · Lecture notes in computer science · 80
PDF
Counterexample Driven Refinement for Abstract Interpretation
2006 · Bhargav S. Gulavani, Sriram K. Rajamani · Lecture notes in computer science · 65
PDF
Bottom-Up Shape Analysis
2009 · Bhargav S. Gulavani, Supratik Chakraborty, et al. · Lecture notes in computer science · 32
Just-In-Time Checkpointing: Low Cost Error Recovery from Deep Learning Training Failures
2024 · Tanmaey Gupta, Sanjeev Krishnan, et al. · European Conference on Computer Systems · 25
Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve
2024 · Agrawal, Amey, Kedia, Nitin, et al. · arXiv (Cornell University) · 24
PDF
SARATHI: Efficient LLM Inference by Piggybacking Decodes with Chunked Prefills
2023 · Agrawal, Amey, Panwar, Ashish, et al. · arXiv (Cornell University) · 20
PDF
Bottom-up shape analysis using LISF
2011 · Bhargav S. Gulavani, Supratik Chakraborty, et al. · ACM Transactions on Programming Languages and Systems · 13
PDF
Vidur: A Large-Scale Simulation Framework For LLM Inference
2024 · Agrawal, Amey, Kedia, Nitin, et al. · arXiv (Cornell University) · 9
PDF
INSTalytics
2019 · Muthian Sivathanu, Midhul Vuppalapati, et al. · ACM Transactions on Storage · 6
Refining abstract interpretations
2010 · Bhargav S. Gulavani, Supratik Chakraborty, et al. · Information Processing Letters · 5
Counterexample driven refinement for abstract interpretation
2006 · Bhargav S. Gulavani, Sriram K. Rajamani · 5
Efficient LLM Inference via Chunked Prefills
2025 · Arney Agrawal, Nitin Kedia, et al. · ACM SIGOPS Operating Systems Review · 4
PDF
Singularity: Planet-Scale, Preemptive and Elastic Scheduling of AI Workloads
2022 · Shukla, Dharma, Sivathanu, Muthian, et al. · arXiv (Cornell University) · 4
PDF
INSTalytics: Cluster Filesystem Co-design for Big-data Analytics.
2019 · Muthian Sivathanu, Midhul Vuppalapati, et al. · File and Storage Technologies · 4
Works count: 22
Citation count: 634
H-index: 9
I10-index: 9
Year
Topic
Type