Registered user since Sun 8 Nov 2020

Name:Adharsh Kamath
Affiliation:National Institute of Technology Karnataka, Surathkal, India
Research interests:Compilers, Formal Verification, Distributed systems


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