Vimala S
Ph.D. student (CSE)
Prime Minister's Research Fellow
IIT Madras
Vimala S
Ph.D. student (CSE)
Prime Minister's Research Fellow
IIT Madras
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
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.