UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. - Yaniv David; Xudong Sun 019; Raphael J. Sofaer; Aditya Senthilnathan; Junfeng Yang; Zhiqiang Zuo 002; Guoqing Harry Xu; Jason Nieh; Ronghui Gu (OSDI, 2022)

Ranking LLM-Generated Loop Invariants for Program Verification. - Saikat Chakraborty; Shuvendu K. Lahiri; Sarah Fakhoury; Akash Lal; Madanlal Musuvathi; Aseem Rastogi; Aditya Senthilnathan; Rahul Sharma 001; Nikhil Swamy (EMNLP (Findings), 2023)

Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote. - Pantazis Deligiannis; Aditya Senthilnathan; Fahad Nayyar; Chris Lovett; Akash Lal (TACAS (2), 2023)

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)