About me

I'm a Research Fellow at Microsoft Research India working with Dr. Akash Lal on improving reliability in cloud services. Before this, I graduated from NITK Surathkal in 2022.
During my undergraduate studies, I worked with Dr. KC Sivaramakrishnan and Dr. Kartik Nagar of IIT Madras on verifying Mergeable Replicated Data Types based on functional data structures, using F* (See Peepul). Previously I also worked with Dr. KC Sivarmakrishnan on ParaFuzz, a fuzzer for Multicore OCaml programs.
My main interests lie in Distributed and Parallel Computing, Verification, Synthesis, and Optimization of Programs.

Publications

• Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan
  Certified Mergeable Replicated Data Types
  43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 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), 2022


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

Service

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