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