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 Project
Publication Efficient Vocabulary-Free Fine-Grained Visual Recognition in the Age of Multimodal LLMs Hari Chandana Kuchibhotla, Sai Srinivas Kancheti, Abbavaram Gowtham Reddy, Vineeth N Balasubramanian TMLR | May 2025, Vol 2025
Publication Response Wide Shut: Surprising Observations in Basic Vision Language Model Capabilities Shivam Chandhok, Wan-Cyuan Fan, Vered Shwartz, Vineeth N Balasubramanian, Leonid Sigal ACL | May 2025
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
Publication Causal Order: The Key to Leveraging Imperfect Experts in Causal Inference Aniket Vashishtha, Abbavaram Gowtham Reddy, Abhinav Kumar, Saketh Bachu, Vineeth N Balasubramanian, Amit Sharma ICLR 2025 | April 2025 Project
Publication LLM Assistance for Memory Safety Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy 47th International Conference on Software Engineering (ICSE) | April 2025 Video
Publication Robust Root Cause Diagnosis using In-Distribution Interventions Lokesh Nagalapatti, Ashutosh Srivastava, Sunita Sarawagi, Amit Sharma 2025 International Conference on Learning Representations | April 2025 Project
Publication RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi 47th International Conference on Software Engineering (ICSE) | April 2025 Video
