conf.researchr.org / Adharsh Kamath

Registered user since Sun 8 Nov 2020

Name:Adharsh Kamath
Country:India
Affiliation:National Institute of Technology Karnataka, Surathkal, India
Personal website:https://adharshkamath.github.io/
Twitter:https://twitter.com/adharshkamath
GitHub:https://github.com/adharshkamath
Research interests:Distributed systems, Program verification and synthesis

Contributions

PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of Certified Mergeable Replicated Data Types within the PLDI-track
ICFP 2021 Committee Member in PLTea Organizers within the PLTea-track
OCaml 2021 Author of Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs within the OCaml 2021-track
‹Programming› 2021 Student Volunteer in Student Volunteers within the Student Volunteers-track