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 Programming Language Design and Implementation | June 2025 Project
Publication Phase recognition in manual Small-Incision cataract surgery with MS-TCN + + on the novel SICS-105 dataset S. Mueller, Bhuvan Sachdeva, Singri Niharika Prasad, Raphael Lechtenboehmer, Frank G. Holz, R. P. Finger, Kaushik Murali, Mohit Jain, Maximilian W. M. Wintergerst, Thomas Schultz Scientific Reports | May 2025, Vol 15
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 Github 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 Robust Root Cause Diagnosis using In-Distribution Interventions Lokesh Nagalapatti, Ashutosh Srivastava, Sunita Sarawagi, Amit Sharma International Conference on Learning Representations | April 2025 Project
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 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
Research