Scholar
Vimala Soundarapandian
Google Scholar ID: SeMthhsAAAAJ
Indian Institute of Technology, Madras
Citations & Impact
Citations
11
H-index
1
i10-index
1
Publications
3
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Publication: Automatically Verifying Replication-aware Linearizability, to appear in the Proceedings of ACM on Programming Languages (PACMPL, ACM OOPSLA 2025).
- Publication: Certified Mergeable Replicated Data Types, PLDI 2022.
- Publication: Marrying Replicated and Functional Data Structures, PaPoC 2022.
- Publication: Certified Mergeable Replicated Data Types, PaPoC 2021.
- Award: Bro. C. Selvam Endowment Fund Prize at IITM in 2025.
- Award: Selected for the Women Leading IITM grant for 2025.
- Award: STAR Teaching Assistant award at IITM for Jul-Nov 2023 semester.
- Award: STAR Teaching Assistant award at IITM for Jul-Nov 2021 semester.
- Award: Selected for Prime Minister's Research Fellowship (Dec 2020 cycle).
- Award: Secured University 3rd rank among all the affiliated colleges to Anna University in M.E.
- Activities: AEC member for PLDI '23, ESOP '22, CAV '21.
- Talks: Delivered talks at various international conferences such as ACM India ARCS, SAT + SMT workshop, etc.
Research Experience
- Ph.D. student in the Department of CSE, IIT Madras, working on projects including: constructing reliable heterogeneous distributed systems.
Background
- Primary research interest: Formal Verification of Distributed Systems. Currently working on constructing reliable heterogeneous distributed systems with the help of functional programming platform.
Miscellany
- 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.
Co-authors