Biography

I am a Ph.D. student in the Department of CSE, IIT Madras. I am advised by Dr. Kartik Nagar and Dr. K. C. Sivaramakrishnan. My primary research interest is in the Formal Verification of Distributed Systems. Currently, I am working on constructing reliable heterogeneous distributed systems with the help of functional programming platform.

Resume - Click here

Research group

• Programming Languages, Architecture and Compilers Education Laboratory (PACE Lab), IIT Madras.

Education

• Ph.D., IIT Madras (2020 - present)

• M.E., Saveetha Engineering College, Chennai (2011 - 2013)

• B.E., Government College of Engineering, Tirunelveli (2007 - 2011)

Publications

• Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi, KC Sivaramakrishnan. Automatically Verifying Replication-aware Linearizability. To appear in the Proceedings of ACM on Programming Languages (PACMPL, ACM OOPSLA 2025). (pdf) 

• Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan. Certified Mergeable Replicated Data Types. PLDI, 2022. (pdf) 

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

• Vimala S, KC Sivaramakrishnan, Kartik Nagar. Certified Mergeable Replicated Data Types. PaPoC, 2021. (pdf)  

Achievements

• Awarded the Bro. C. Selvam Endowment Fund Prize at IITM in 2025.

• Selected for the "Women Leading IITM grant" for 2025.

• Received the "STAR Teaching Assistant award" at IITM for Jul-Nov 2023 semester.

• Received the "STAR Teaching Assistant award" at IITM for Jul-Nov 2021 semester.

• Selected for "Prime Minister's Research Fellowship" (Dec 2020 cycle).

• Secured University 3rd rank among all the affiliated colleges to Anna University in M.E.

Activities

• AEC member :  PLDI '23, ESOP '22, CAV '21

Talks

• Certified Mergeable Replicated Data Types

ACM India ARCS, Feb 2023

• Pragmatic Verification of Mergeable Replicated Data Types

SAT + SMT workshop, Dec 2022

• Replicated Data Types

F* PoP Up Seminar, Online, Jul 2022

• Marrying Replicated and Functional Data Structures

9th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Online, Apr 2022

• Certified Mergeable Replicated Data Types

8th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Online, Apr 2021

Advisor information

• Kartik Nagar, Assistant Professor at IIT Madras

https://kartiknagar.github.io/

• K.C. Sivaramakrishnan,  Assistant Professor at IIT Madras and CTO at Tarides

https://kcsrk.info/

Contact

• Email: soundarapandian.vimala@gmail.com, cs19d750@smail.iitm.ac.in, cs19d750@cse.iitm.ac.in

• Address: PACE lab, Department of CSE, IIT Madras, Chennai - 600036, India.