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