Vimala Soundarapandian

PhD student (PMRF) @iitmadras. Programming Languages & Verification, Distributed Systems.

[KC Sivaramakrishnan @kc_srk]

I'm offering "Functional Programming with OCaml" on the NPTEL platform in July 2026 sem. Enrollment is open now.

The first 8 modules of the interactive book should be fairly stable. The rest is still in development. Sharing early in the spirit of building in the open.

[Vimala Soundarapandian @vimala_sp]

Proud to be part of this! Thanks to @emergence_ai for organizing and IISc for hosting. Here is the project: https://t.co/fHeIyJyPD4

[emergence.ai @emergence_ai]

2nd Prize goes to QueryBridge by Vimala S. and Durwasa Chakraborty for achieving end-to-end verification with a working LLM → jq → SQL pipeline.

[Siddhartha Gadgil @SidGadgil]

A delightful blog post by one of the prizewinners at the @emergence_ai Hackathon "LeanLang for verified autonomy". Amazing projects at the hacakthon.

Soundness and Sambar at IISc Bangalore https://t.co/b9nUXVS0g8

[KC Sivaramakrishnan @kc_srk]

My students come up with the best team names: "Sambar & Soundness" :-)

Given that the hackathon was at IISc Bangalore, I wonder whether sambar is the local sweeter variant (which I don't mind, honestly).

https://t.co/PzpPXqhpYb

[KC Sivaramakrishnan @kc_srk]

I'm on the PC of the first Programming for the Planet (PROPL) workshop co-located with POPL 24.

PROPL aims to explore how to close the gap between PL and programming in climate analysis, modelling, forecasting, policy and diplomacy. @avsm @dorchard

https://t.co/MF2gq3SpCw

[KC Sivaramakrishnan @kc_srk]

OCaml wins the 2023 SIGPLAN programming languages software award! 🎉https://t.co/GpxK3bRutM

[Vimala Soundarapandian @vimala_sp]

@kc_srk Congratulations 😊🎉

[Vimala Soundarapandian @vimala_sp]

@i_sudeepa Congrats Sudeepa 😀

[KC Sivaramakrishnan @kc_srk]

"Certified Mergeable Replicated Data Types" has been conditionally accepted to PLDI 22. This is joint work with @vimala_sp, @adharshkamath and Kartik Nagar.

[KC Sivaramakrishnan @kc_srk]

📢🌟 CFP: PaPoC 2022 (deadline 27th Jan) 🌟📢

Adriana Szekeres and I are chairing the PaPoC 2022 workshop: https://t.co/g3VQ5iukcn. Submit your (in)consistent ideas for expert feedback from our outstanding PC.

Please retweet for visibility.

[The Times Of India @timesofindia]

IIT Madras ranked best institution in India: NIRF ranking

https://t.co/T0pOYZYPXs

[Krishna Nandivada @nvkrishna77]

It is time PACE lab @pace_iit (dept of CSE @itmcse) IITM (@iitmadras) took its space in the twitter world.

[KC Sivaramakrishnan @kc_srk]

Congratulations to my PhD student @vimala_sp for being chosen as a Prime Minister's Research Fellow. Way to go! 🥳🎉

[Heidi Howard @heidiann360]

This year's edition of #PaPoC has accepted 11 papers on all aspects of distributed consistency ranging from CRDTs/MRDTs and causal consistency through to BFT, snapshot isolation, and quorum systems. Register (with @EuroSys_conf) for FREE now! 👉 https://t.co/cKNEnySIXa