Registered user since Sun 8 Nov 2020

Name:Adharsh Kamath
Country:India
Affiliation:NITK Surathkal
Research interests:Distributed systems, Program verification and synthesis

Contributions

PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Certified Mergeable Replicated Data Types
Show activities from other conferences

PLDI 2022-profile
View general profile