David J. Wetherall, MIT