Russ Cox, MIT CSAIL