System Research Group,

Microsoft Research Asia

Email: zhenyu.guo at microsoft dot com

I received a BE degree from Zhejiang University in 2003, where I wrote a dozen of web applications:-P; then I got my ME degree from Tsinghua University in 2006, where I built a runtime binary optimization framework and enabled the C++ exception handling support for the open64 compiler, both on IPF/Linux platform. I joined the System Research Group, Microsoft Research Asia thereafter, and have been working on bug finding tools, particularly applying binary techniques and compiler analysis. I am also interested in data center and web 2.0 applications&tools; currently, I am working on data center log generation and analysis, with an additional focus on data center log analysis languages. Besides, I also work on distributed query optimization.

Interest:

Correctness & performance tools (applying binary and compiler techniques); data center applications & tools; host system security; web 2.0 applications & tools; languages for distributed processing.

Publication:

• [OSDI 2008] R2: An Application-Level Kernel for Record and Replay. [PDF]
  Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, and Zheng Zhang.
• [PLDI 2008] Conditional Correlation Analysis for Safe Region-based Memory Management. [PDF]
  Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, and Zheng Zhang.
• [NSDI 2008] D³S: Debugging Deployed Distributed Systems. [PDF]
  Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, and Zheng Zhang.
• [EuroSys 2008] Hang Analysis: Fighting Responsiveness Bugs. [PDF]
  Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, and Zheng Zhang. Best Student Paper.
• [HotOS 2005] WiDS: An Integrated Toolkit for Distributed System Development. [PDF]
  Shiding Lin, Aimin Pan, Zheng Zhang, Rui Guo, and Zhenyu Guo.