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
Twitter:https://twitter.com/adharshkamath
GitHub:https://github.com/adharshkamath
Research interests:Compilers, Formal Verification, Distributed systems

Contributions

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
ICFP 2021 Committee Member in PLTea Organizers within the PLTea-track