2 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…