论文与出版物 LLM Assistance for Memory Safety Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy 47th International Conference on Software Engineering (ICSE) | April 2025
论文与出版物 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
论文与出版物 RadPhi-3: Small Language Models for Radiology Mercy Ranjit, Shaury Srivastav, Tanuja Ganu NeurIPS 2024 | November 2024 项目
论文与出版物 SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula 2024 Symposium on Operating Systems Principles | November 2024 项目
论文与出版物 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 November 2024
论文与出版物 Farmer.Chat: Scaling AI-Powered Agricultural Services for Smallholder Farmers Namita Singh, Jacqueline Wang'ombe, Nereah Okanga, Tetyana Zelenska, Jona Repishti, Jayasankar G K, Sanjeev Mishra, Rajsekar Manokaran, Vineet Singh, Mohammed Irfan Rafiq, Rikin Gandhi, Akshay Nambi October 2024
论文与出版物 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 October 2024 Preprint
论文与出版物 Leveraging LLMs for Program Verification Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma Formal Methods in Computer-Aided Design (FMCAD) | October 2024
论文与出版物 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 September 2024 项目
论文与出版物 Learnings from a Large-Scale Deployment of an LLM-Powered Expert-in-the-Loop Healthcare Chatbot Bhuvan Sachdeva, Pragnya Ramjee, Geeta Fulari, Dr. Kaushik Murali, Mohit Jain September 2024 项目
