• Sign in
  • Sign up
conf.researchr.org / Adharsh Kamath
  • ICFP 2021 profile
  • ICFP 2024 profile
  • PLDI 2022 profile
  • PLDI 2024 profile
  • PLDI 2026 profile
  • POPL 2026 profile
  • ‹Programming› 2021 profile
Adharsh Kamath

Registered user since Sun 8 Nov 2020

Name:Adharsh Kamath
Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Personal website: https://adharshkamath.github.io/
X (Twitter): https://x.com/adharshkamath
GitHub: https://github.com/adharshkamath
Research interests:Program Verification, Testing, Machine Learning

Contributions

2026

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

POPL

  • Author of Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation within the Tutorials-track

2024

ICFP

  • Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2022

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
  • Author of Certified Mergeable Replicated Data Types within the PLDI-track

2021

ICFP

  • Committee Member in PLTea Organizers within the PLTea-track

OCaml

  • Author of Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs within the OCaml 2021-track

‹Programming›

  • Student Volunteer in Student Volunteers within the Student Volunteers-track
Share
xSat 7 Mar 01:33
using conf.researchr.org (v1.73.1)
Support page
Sign Up