Bottom-Up Shape Analysis using LISF von GULAVANI, Bhargav S, CHAKRABORTY, Supratik, RAMALINGAM, G, NORI, Aditya V

Volltext

Counterexample Driven Refinement for Abstract Interpretation von Gulavani, Bhargav S., Rajamani, Sriram K.

Volltext

Refining abstract interpretations von Gulavani, Bhargav S., Chakraborty, Supratik, Nori, Aditya V., Rajamani, Sriram K.

Volltext

INSTalytics: Cluster Filesystem Co-design for Big-data Analytics von Sivathanu, Muthian, Vuppalapati, Midhul, Gulavani, Bhargav S., Rajan, Kaushik, Leeka, Jyoti, Mohan, Jayashree, Kedia, Piyus

Volltext

A Numerical Abstract Domain Based on $Expression Abstraction$ and $Max Operator$ with Application in Timing Analysis von Gulavani, Bhargav S., Gulwani, Sumit

Volltext

Bottom-Up Shape Analysis von Gulavani, Bhargav S., Chakraborty, Supratik, Ramalingam, Ganesan, Nori, Aditya V.

Volltext

Vidur: A Large-Scale Simulation Framework For LLM Inference von Agrawal, Amey, Kedia, Nitin, Mohan, Jayashree, Panwar, Ashish, Kwatra, Nipun, Gulavani, Bhargav, Ramjee, Ramachandran, Tumanov, Alexey

Volltext bestellen

SARATHI: Efficient LLM Inference by Piggybacking Decodes with Chunked Prefills von Agrawal, Amey, Panwar, Ashish, Mohan, Jayashree, Kwatra, Nipun, Gulavani, Bhargav S, Ramjee, Ramachandran

Volltext bestellen

Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve von Agrawal, Amey, Kedia, Nitin, Panwar, Ashish, Mohan, Jayashree, Kwatra, Nipun, Gulavani, Bhargav S, Tumanov, Alexey, Ramjee, Ramachandran

Volltext bestellen

Automatically Refining Abstract Interpretations von Gulavani, Bhargav S., Chakraborty, Supratik, Nori, Aditya V., Rajamani, Sriram K.

Volltext

Vidur: A Large-Scale Simulation Framework For LLM Inference von Agrawal, Amey, Kedia, Nitin, Mohan, Jayashree, Panwar, Ashish, Kwatra, Nipun, Gulavani, Bhargav, Ramachandran Ramjee, Tumanov, Alexey

Volltext

SARATHI: Efficient LLM Inference by Piggybacking Decodes with Chunked Prefills von Agrawal, Amey, Panwar, Ashish, Mohan, Jayashree, Kwatra, Nipun, Gulavani, Bhargav S, Ramachandran Ramjee

Volltext

Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve von Agrawal, Amey, Kedia, Nitin, Panwar, Ashish, Mohan, Jayashree, Kwatra, Nipun, Gulavani, Bhargav S, Tumanov, Alexey, Ramachandran Ramjee

Volltext

ELASTICALLY MANAGING WORKERS OF MULTI-WORKER WORKLOADS ON ACCELERATOR DEVICES von GULAVANI, Bhargav, SIVATHANU, Muthian, VISWANATHA, Srinidhi, WELANKAR, Kaustubh, SHUKLA, Dharma Kiritkumar, NEHME, Rimma Vladimirovna, RAMJEE, Ramachandran, AGRAWAL, Amey, ANUPINDI, Ravi Shreyas

Volltext bestellen

Singularity: Planet-Scale, Preemptive and Elastic Scheduling of AI Workloads von Shukla, Dharma, Sivathanu, Muthian, Viswanatha, Srinidhi, Gulavani, Bhargav, Nehme, Rimma, Agrawal, Amey, Chen, Chen, Kwatra, Nipun, Ramjee, Ramachandran, Sharma, Pankaj, Katiyar, Atul, Modi, Vipul, Sharma, Vaibhav, Singh, Abhishek, Singhal, Shreshth, Welankar, Kaustubh, Xun, Lu, Anupindi, Ravi, Elangovan, Karthik, Rahman, Hasibur, Lin, Zhou, Seetharaman, Rahul, Xu, Cheng, Ailijiang, Eddie, Krishnappa, Suresh, Russinovich, Mark

Volltext bestellen

ELASTICALLY MANAGING WORKERS OF MULTI-WORKER WORKLOADS ON ACCELERATOR DEVICES von GULAVANI, Bhargav, SIVATHANU, Muthian, VISWANATHA, Srinidhi, WELANKAR, Kaustubh, SHUKLA, Dharma Kiritkumar, NEHME, Rimma Vladimirovna, RAMJEE, Ramachandran, AGRAWAL, Amey, ANUPINDI, Ravi Shreyas

Volltext bestellen

ELASTICALLY MANAGING WORKERS OF MULTI-WORKER WORKLOADS ON ACCELERATOR DEVICES von GULAVANI, Bhargav, SIVATHANU, Muthian, VISWANATHA, Srinidhi, WELANKAR, Kaustubh, SHUKLA, Dharma Kiritkumar, NEHME, Rimma Vladimirovna, RAMJEE, Ramachandran, AGRAWAL, Amey, ANUPINDI, Ravi Shreyas

Volltext bestellen

Singularity: Planet-Scale, Preemptive and Elastic Scheduling of AI Workloads von Shukla, Dharma, Sivathanu, Muthian, Viswanatha, Srinidhi, Gulavani, Bhargav, Nehme, Rimma, Agrawal, Amey, Chen, Chen, Kwatra, Nipun, Ramachandran Ramjee, Sharma, Pankaj, Katiyar, Atul, Modi, Vipul, Sharma, Vaibhav, Singh, Abhishek, Singhal, Shreshth, Welankar, Kaustubh, Lu, Xun, Anupindi, Ravi, Elangovan, Karthik, Rahman, Hasibur, Zhou, Lin, Seetharaman, Rahul, Xu, Cheng, Ailijiang, Eddie, Krishnappa, Suresh, Russinovich, Mark

Volltext

Counterexample driven refinement for abstract interpretation von Rajamani, Sriram K, Gulavani, Bhargav

Volltext bestellen

Counterexample driven refinement for abstract interpretation von GULAVANI BHARGAV, RAJAMANI SRIRAM K

Volltext bestellen