Barbara Liskov, Massachusetts Institute of Technology