Taesoo Kim, MIT CSAIL