Yuan Yu

Yuan Yu

I joined Microsoft Research Silicon Valley in 2002. My current research focuses on distributed systems for large-scale data parallel computing.  Over the past few years, I have been mainly working on a series of projects (Dandelion, DryadLINQ, and Dryad) to build a programming environment for large-scale data parallel computing.

While at Microsoft Research, I also led the RaceTrack project, and developed the TLC model checker. Before joining MSR, I worked for 9 years at DEC/Compaq Systems Research Center.


Large-scale data-parallel computing, distributed systems, compilers and query optimization, static and runtime program analysis, formal specification and verification, model checking, theorem proving, software configuration management.

Selected Publications