Leveraging LLMs for Program Verification. - Adharsh Kamath; Nausheen Mohammed; Aditya Senthilnathan; Saikat Chakraborty; Pantazis Deligiannis; Shuvendu K. Lahiri; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (FMCAD, 2024)

Enabling Memory Safety of C Programs using LLMs. - Nausheen Mohammed; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (CoRR, 2024)

LLM Assistance for Memory Safety. - Nausheen Mohammed; Akash Lal; Aseem Rastogi; Rahul Sharma 001; Subhajit Roy 001 (ICSE, 2025)