Jennifer N. Carlisle, MIT CSAIL