Search: Abadi, D, 2010, Cloud Database, replication, cs.yale.edu