| Synergy: A new algorithm for property checking BS Gulavani, TA Henzinger, Y Kannan, AV Nori, SK Rajamani Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006 | 298 | 2006 |
| Automatically refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2008 | 126 | 2008 |
| A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis BS Gulavani, S Gulwani International Conference on Computer Aided Verification, 370-384, 2008 | 105 | 2008 |
| Counterexample driven refinement for abstract interpretation BS Gulavani, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2006 | 91 | 2006 |
| Sarathi: Efficient llm inference by piggybacking decodes with chunked prefills A Agrawal, A Panwar, J Mohan, N Kwatra, BS Gulavani, R Ramjee arXiv preprint arXiv:2308.16369, 2023 | 56 | 2023 |
| Taming throughput-latency tradeoff in llm inference with sarathi-serve A Agrawal, N Kedia, A Panwar, J Mohan, N Kwatra, BS Gulavani, ... arXiv preprint arXiv:2403.02310, 2024 | 47 | 2024 |
| Bottom-up shape analysis BS Gulavani, S Chakraborty, G Ramalingam, AV Nori Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009 | 44 | 2009 |
| Singularity: Planet-scale, preemptive and elastic scheduling of AI workloads D Shukla, M Sivathanu, S Viswanatha, B Gulavani, R Nehme, A Agrawal, ... arXiv preprint arXiv:2202.07848, 2022 | 29 | 2022 |
| Bottom-up shape analysis using lisf BS Gulavani, S Chakraborty, G Ramalingam, AV Nori ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (5), 1-41, 2011 | 15 | 2011 |
| Instalytics: Cluster filesystem co-design for big-data analytics M Sivathanu, M Vuppalapati, BS Gulavani, K Rajan, J Leeka, J Mohan, ... ACM Transactions on Storage (TOS) 15 (4), 1-30, 2020 | 12 | 2020 |
| Vidur: A Large-Scale Simulation Framework For LLM Inference A Agrawal, N Kedia, J Mohan, A Panwar, N Kwatra, B Gulavani, ... Proceedings of Machine Learning and Systems 6, 351-366, 2024 | 11 | 2024 |
| Refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani Information Processing Letters 110 (16), 666-671, 2010 | 9 | 2010 |
| Counterexample driven refinement for abstract interpretation SK Rajamani, B Gulavani US Patent 7,509,534, 2009 | 5 | 2009 |
| Just-In-Time Checkpointing: Low Cost Error Recovery from Deep Learning Training Failures T Gupta, S Krishnan, R Kumar, A Vijeev, B Gulavani, N Kwatra, R Ramjee, ... Proceedings of the Nineteenth European Conference on Computer Systems, 1110-1125, 2024 | 4 | 2024 |
| Taming {Throughput-Latency} Tradeoff in {LLM} Inference with {Sarathi-Serve} A Agrawal, N Kedia, A Panwar, J Mohan, N Kwatra, B Gulavani, ... 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2024 | | 2024 |
| Elastically managing workers of multi-worker workloads on accelerator devices M Sivathanu, S Viswanatha, B Gulavani, DK Shukla, RV Nehme, ... US Patent App. 17/855,722, 2023 | | 2023 |
| On Improving the Precision of Static Program Analysis BS Gulavani PQDT-Global, 2010 | | 2010 |
| Symbolic timing verification and analysis BS Gulavani Indian Institute of Technology Bombay, 0 | | |
