Austin T. Clements, MIT CSAIL