Silas Boyd-Wickizer, MIT CSAIL