论文与出版物 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, 第 55 卷(2): pp. 13-21
论文与出版物 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
论文与出版物 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 项目
论文与出版物 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
论文与出版物 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
论文与出版物 EfficientXLang: Towards Improving Token Efficiency Through Cross-Lingual Reasoning Sanchit Ahuja, Praneetha Vaddamanu, Barun Patra ArXiv | June 2025, 第 abs/2507.00246 卷 Github
论文与出版物 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 项目
论文与出版物 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 项目 项目
论文与出版物 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
论文与出版物 Agentic Reasoning and Tool Integration for LLMs via Reinforcement Learning Joykirat Singh, Raghav Magazine, Yash Pandya, Akshay Nambi April 2025
