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