Tri Dao, trid@cs.stanford.edu