Lintao Zhang
Microsoft Research, China
Title : Building Reliable Distributed Systems: A Researcher's Journey
Abstract :

Distributed systems are notorious for being complicated and hard to debug. Well tested distributed systems may fail on the fields after years of operating correctly and cause significant economical damage. Over the years, the researchers in the System Research Group of Microsoft Research Asia have built several large scale distributed systems for various purposes. To make these systems more reliable, we also developed many tools and methodologies to debug and test them. These efforts interacted with each other in many interesting ways, and the experience of both tool building and system building leads us towards several interesting research directions. In this talk, I will describe my group's efforts on building reliable distributed systems and the lessons learned.

Biography :

Dr. Lintao Zhang has worked as a researcher in Microsoft Research for over six years, previously at the Silicon Valley Lab, and now at the Asia Lab in Beijing. Lintao has worked on a variety of research topics, including hardware and computer architecture, distributed systems, security, and formal verification. Dr. Zhang has received multiple recognitions for his research work, including the Computer Aided Verification (CAV) Award for his contribution to formal verification, IEEE SIGDA Best Thesis Award for his PhD thesis work, and several best paper awards in top conferences. In his spare time, he also acts as the lead guitarist for MSR-Asia's in-house rock band. Dr. Zhang earned his Ph.D. from Princeton University, and his B.S. degree from Peking University.


Copyright © 2009 CISENG. All rights reserved.
Microsoft Internet Explorer is recommended if the page is not displayed properly !