John K. Ousterhout, Stanford University