Adharsh Kamath

2022202320243 2 2

KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
Kartik NagarAssistant Professor at Department of CSE, IIT MadrasVerified email at cse.iitm.ac.in
Saikat ChakrabortySenior Researcher at Microsoft ResearchVerified email at microsoft.com
Pantazis DeligiannisMicrosoft ResearchVerified email at microsoft.com
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Aditya SenthilnathanPh.D. Student, Cornell UniversityVerified email at cornell.edu
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com

Adharsh Kamath

Microsoft Research

Verified email at microsoft.com - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Certified mergeable replicated data types V Soundarapandian, A Kamath, K Nagar, KC Sivaramakrishnan Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022	4	2022
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
Marrying Replicated and Functional Data Structures V Soundarapandian, A Kamath, K Nagar, KC Sivaramakrishnan

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

Articles 1–3

Citations per year