Martin Rinard, Massachusetts Institute of Technology