Declarative programming over eventually consistent data stores.

K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan

Browse the full PLDI paper archive.