Certified mergeable replicated data types.

Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan

Browse the full PLDI paper archive.