Search: Abadi, D, synchronization, cs.yale.edu