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

  • 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
    9th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr 2022
    Paper

  • Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
    Sumit Padhiyar, Adharsh Kamath, KC Sivaramakrishnan
    OCaml Workshop, Aug 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