Barbara Liskov, MIT Laboratory for Computer Science