Publication LEOScope: Building a Global Testbed for Low-Earth Orbit Satellite Networks Saeed Fadaei, Shubham Tiwari, Aryan Taneja, Saksham Bhushan, Mohamed M. Kassem, Aravindh Raman, Debopam Bhattacherjee, Lili Qiu, Alan Woodward, Nishanth R. Sastry ACM SIGCOMM Computer Communication Review | July 2025, Vol 55(2): pp. 13-21
Publication STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares July 2025 Preprint
Publication Position: To Make Text-to-Image Models that Work for Marginalized Communities, We Need New Measurement Practices for the Long Tail Nari Johnson, Hamna ., Deepthi Sudharsan, Theo Holroyd, Samantha Dalal, Siobhan Mackenzie Hall, Jennifer Wortman Vaughan, Daniela Massiceti, Cecily Morrison July 2025 Project
Publication MOGIC: Metadata-Infused Oracle Guidance for Improved Extreme Classification Suchith Chidananda Prabhu, Bhavyajeet Singh, Anshul Mittal, Siddarth Asokan, Shikhar Mohan, Deepak Saini, Yashoteja Prabhu, Lakshya Kumar, Jian Jiao, Amit Singh, Niket Tandon, Manish Gupta, Sumeet Agarwal, Manik Varma ICML 2025 | July 2025
Publication Graph-Based Algorithms for Diverse Similarity Search Piyush Anand, Piotr Indyk, Ravishankar Krishnaswamy, Sepideh Mahabadi, Vikas C. Raykar, Kiran Shiragur, Haike Xu ICML 2025 | July 2025
Publication EfficientXLang: Towards Improving Token Efficiency Through Cross-Lingual Reasoning Sanchit Ahuja, Praneetha Vaddamanu, Barun Patra ArXiv | June 2025, Vol abs/2507.00246 Github
Publication PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy 2025 Programming Language Design and Implementation | June 2025 Accepted for publication, to appear Project
Publication ASHABot: An LLM-Powered Chatbot to Support the Informational Needs of Community Health Workers Pragnya Ramjee, Mehak Chhokar, Bhuvan Sachdeva, Mahendra Meena, Hamid Abdullah, Aditya Vashistha, Ruchit Nagar, Mohit Jain CHI 2025 | April 2025 Project Project
Publication Time Warp: The Gap Between Developers’ Ideal vs Actual Workweeks in an AI-Driven Era Sukrit Kumar, Drishti Goel, Tom Zimmermann, Brian Houck, B. Ashok, Chetan Bansal ICSE SEIP ’25 | April 2025 Distinguished Paper Award
Publication Agentic Reasoning and Tool Integration for LLMs via Reinforcement Learning Joykirat Singh, Raghav Magazine, Yash Pandya, Akshay Nambi April 2025
