Search: Abadi, D, synchronization, yale.edu, n/a