Daniel S. Myers, MIT CSAIL