M. Frans Kaashoek, MIT CSAIL