About me

I'm a Pre-doctoral Research Fellow at Microsoft Research India working with Dr. Akash Lal and Dr. Aseem Rastogi 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.
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.

Publications and Talks

• Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
  Finding Inductive Loop Invariants using Large Language Models
  arXiv, Nov 2023
  


• 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]

Service

• Artifact Evaluation Committee:   PLDI 2024, EuroSys 2023, PLDI 2022
• Virtualization Committee:   CAV 2021
• Student Volunteer:   CAV 2023, PLDI 2022, ICFP 2021, PLDI 2021, POPL 2021, <Programming> 2021