Barbara H. Liskov, MIT CSAIL