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.
CV - 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 S, 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
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, CTO at Tarides & Adjunct Professor at IIT Madras
Contact
Address: PACE lab, Department of CSE, IIT Madras, Chennai - 600036, India.