Certified mergeable replicated data types. - Vimala Soundarapandian; Adharsh Kamath; Kartik Nagar; K. C. Sivaramakrishnan (PLDI, 2022)

Automatically Verifying Replication-Aware Linearizability. - Vimala Soundarapandian; Kartik Nagar; Aseem Rastogi; K. C. Sivaramakrishnan (Proc. ACM Program. Lang., 2025)