Share this page
Share this page E-mail this page Print this page RSS feeds
Home > People > Yuan Yu
Yuan Yu

SR. RESEARCHER
.

I joined Microsoft Research Silicon Valley in 2002. My current research focuses on distributed systems for large-scale data parallel computing. I have been mainly working on DryadLINQ and Dryad to build a programming environment for large-scale data parallel computing.

I am currently leading the DryadLINQ project. 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.

RESEARCH INTERESTS:

Static and runtime program analysis, distributed systems, formal specification and verification, model checking, theorem proving, and software configuration and management.

Publications