Julian Bangert, MIT CSAIL