Aditya Senthilnathan

2022202320242 6 13

Public access

1 article

0 articles

available

not available

Based on funding mandates

Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Pantazis DeligiannisMicrosoft ResearchVerified email at microsoft.com
Yaniv DavidPostdoctoral Research Scientist, Columbia UniversityVerified email at columbia.edu
Jason NiehColumbia UniversityVerified email at cs.columbia.edu
Ronghui GuAssociate Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
Harry XuProfessor of Computer Science, University of California, Los AngelesVerified email at cs.ucla.edu
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu

Aditya Senthilnathan

Verified email at cornell.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Ranking llm-generated loop invariants for program verification S Chakraborty, SK Lahiri, S Fakhoury, M Musuvathi, A Lal, A Rastogi, ... arXiv preprint arXiv:2310.09342, 2023	9	2023
{UPGRADVISOR}: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing Y David, X Sun, RJ Sofaer, A Senthilnathan, J Yang, Z Zuo, GH Xu, J Nieh, ... 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022	5	2022
Industrial-Strength Controlled Concurrency Testing for Programs with P Deligiannis, A Senthilnathan, F Nayyar, C Lovett, A Lal International Conference on Tools and Algorithms for the Construction and …, 2023	4	2023
Finding Inductive Loop Invariants using Large Language Models A Kamath, A Senthilnathan, S Chakraborty, P Deligiannis, SK Lahiri, A Lal, ... arXiv preprint arXiv:2311.07948, 2023	3	2023
Sound Translation Validation for LLVM A Senthilnathan INDIAN INSTITUTE OF TECHNOLOGY DELHI, 2022		2022

The system can't perform the operation now. Try again later.

Articles 1–5

Citations per year