Registered user since Sun 8 Nov 2020

Name:Adharsh Kamath
Country:India
Affiliation:NITK Surathkal
Research interests:Compilers, Formal Verification, Distributed systems

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