Samuel Madden, MIT CSAIL