Search: Cloud Database, synchronization, cs.yale.edu, n/a