Mark Manasse, Microsoft Research, Silicon Valley