Registered user since Sun 8 Nov 2020

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

Contributions

Show activities from other conferences

PLDI 2022-profile
View general profile