Cristian Cadar, Massachusetts Institute of Technology