About me

I'm a PhD student in Computer Science at the University of Illinois, Urbana-Champaign, working with Prof. Sasa Misailovic. I'm broadly interested in developing tools and techniques that simplify the process of writing correct and performant computer programs. My focus is on addressing problems that mostly lie under the collective umbrellas of Programming Languages, Formal Methods, and Software Engineering research.

Previously I was a Research Fellow at Microsoft Research India working with Dr. Akash Lal on program verification and software testing.

During my undergraduate studies, I worked with Prof. KC Sivaramakrishnan and Prof. Kartik Nagar on verifying functional correctness and convergence of Mergeable Replicated Data Types, using F* (See Peepul). Previously I also worked with Prof. KC Sivarmakrishnan on ParaFuzz, a coverage-guided and property-based fuzz-testing tool for Multicore OCaml programs. I graduated from NITK Surathkal in 2022.

Publications and Talks

  • Adharsh Kamath, Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis,
    Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
    Leveraging LLMs for Program Verification
    24th Formal Methods in Computer-Aided Design (FMCAD), Oct 2024

  • Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan
    Certified Mergeable Replicated Data Types
    43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Jun 2022

  • Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan
    Marrying Replicated and Functional Data Structures
    9th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr 2022

  • Sumit Padhiyar, Adharsh Kamath, KC Sivaramakrishnan
    Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
    OCaml Workshop, Aug 2021 (co-located with ICFP 2021) [video]
Adharsh Kamath

Siebel School of Computing and Data Science
201 N Goodwin Ave,
Urbana, IL 61801

Service