Search: Thomson, A, synchronization, cs.yale.edu, n/a