Huayang Guo

PhD Student Department of Computer Science Columbia University Address: 1214 Amsterdam Ave. 7LW1 CEPSR, New York, NY 10027 Email: huayang AT cs DOT columbia DOT edu Phone: (646) 775-6031

I am a first year PhD student in Department of Computer Science at Columbia University. My graduate advisor is Junfeng Yang in the Software System Laboratory.

My research focuses on software reliability, distributed systems, and operating systems, while I am also interested in security and the Web.

I finished my undergraduate studies in China, at Tsinghua University.

Publications

1. Practical Software Model Checking via Dynamic Interface Reduction
   Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang Lintao Zhang,
   To appear in the Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, October 2011.

2. Efficient Deterministic Multithreading through Schedule Relaxation
   Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang
   To Appear in the Proceedings of 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, October 2011.

3. Language-Based Replay via Data Flow Cut
   Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang
   Proceedings of the 18th ACM SIGSOFT / FSE (FSE ’10), October, 2010

Education

• 09/2011 - expected 2016:
  PhD, Department of Computer Science, Columbia University, New York, USA

• 09/2007 - 07/2011:
  B.E., Special Pilot CS Class (“Andrew Yao” Class), Computer Science, Tsinghua University, Beijing, P.R.China

Internship

• 02/2008 - 06/2011:
  Microsoft Research Asia, working in System Research Group led by Lidong Zhou.

Honors and Awards

• ACM/ICPC Asia Regional Champion, 2007, 2008, 2009

• 3th place in International Olympiad in Informatics, 2007

• Outstanding Social Activity Contribution Awards, Tsinghua University, 2009, 2010