Aditya Senthilnathan

According to our database, Aditya Senthilnathan authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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, Rahul Sharma

CoRR, 2023

Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote.

Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

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, Nikhil Swamy

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

2022

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing.

Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022