ICFP 2021
Sun 22 - Sat 28 August 2021

Registered user since Sun 8 Nov 2020

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

Contributions

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

ICFP 2021-profile
View general profile