ICFP 2021
Sun 22 - Sat 28 August 2021

Registered user since Sun 8 Nov 2020

Name:Adharsh Kamath
Affiliation:National Institute of Technology Karnataka, Surathkal, India
Research interests:Distributed systems, Program verification and synthesis


ICFP 2021 Committee Member in PLTea Organizers within the PLTea-track
OCaml 2021 Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
Show activities from other conferences

ICFP 2021-profile
View general profile