Aditya Senthilnathan

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Moment Invariants

Automatically Generated

Top Venues

EMNLP (Findings)

Publications

Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
Ranking LLM-Generated Loop Invariants for Program Verification. CoRR (2023)
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote. TACAS (2) (2023)
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Finding Inductive Loop Invariants using Large Language Models. CoRR (2023)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
Ranking LLM-Generated Loop Invariants for Program Verification. EMNLP (Findings) (2023)
Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. OSDI (2022)