Search: Abadi, D, 2007, csail.mit.edu