Certified mergeable replicated data types. - Vimala Soundarapandian; Adharsh Kamath; Kartik Nagar; K. C. Sivaramakrishnan (PLDI, 2022)

Finding Inductive Loop Invariants using Large Language Models. - Adharsh Kamath; Aditya Senthilnathan; Saikat Chakraborty; Pantazis Deligiannis; Shuvendu K. Lahiri; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (CoRR, 2023)

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)