Registered user since Sun 8 Nov 2020
Name:Adharsh Kamath
Country:India
Affiliation:NITK Surathkal
Personal website: https://adharshkamath.github.io/
X (Twitter): https://x.com/adharshkamath
GitHub: https://github.com/adharshkamath
Research interests:Distributed systems, Program verification and synthesis
Contributions
PLDI 2022-profile
View general profile
View general profile