Barbara Liskov, MIT CSAIL