3 papers
cs.PL2026
Sal: Multi-modal Verification of Replicated Data Types
Pranav Ramesh, Vimala Soundarapandian, KC Sivaramakrishnan
Designing correct replicated data types (RDTs) is challenging because replicas evolve independently and must be merged while preserving application intent. A promising approach is…
cs.PL2025
Automatically Verifying Replication-aware Linearizability
Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi +1
Data replication is crucial for enabling fault tolerance and uniform low latency in modern decentralized applications. Replicated Data Types (RDTs) have emerged as a principled app…
cs.PL2022
Certified Mergeable Replicated Data Types
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar +1
Replicated data types (RDTs) are data structures that permit concurrent modification of multiple, potentially geo-distributed, replicas without coordination between them. RDTs are…