Adharsh Kamath

Publication Activity (10 Years)

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

Top Topics

Algebraic Operators

Database Management Systems

Document Length

Top Venues

Publications

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)
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
Certified Mergeable Replicated Data Types. CoRR (2022)
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
Certified mergeable replicated data types. PLDI (2022)