About me

I'm a PhD student in Computer Science at the University of Illinois, Urbana-Champaign, working with Prof. Sasa Misailovic. I'm interested in providing formal guarantees about computer systems. The problems I'm interested in are typically described as being a part 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 solving problems in 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).

Publications and Talks

  • Leveraging LLMs for Program Verification
    Adharsh Kamath, Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal,
    Aseem Rastogi, Subhajit Roy, Rahul Sharma
    FMCAD 2024
    Paper / BibTeX / Slides / Code

  • Certified Mergeable Replicated Data Types
    Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan
    PLDI 2022
    Paper / BibTeX / Code

  • Marrying Replicated and Functional Data Structures
    Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan
    PaPoC 2022
    Paper

  • Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
    Sumit Padhiyar, Adharsh Kamath, KC Sivaramakrishnan
    OCaml Workshop 2021 (co-located with ICFP 2021)
    Video / Code
Adharsh Kamath

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

Service