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