Yandong Mao, MIT CSAIL