Yingqi Xiao
Ph.D. Student
Department of Computer Science
1100 E. 58th Street	xiaoyq at cs.uchicago.edu
University of Chicago	Office: Ryerson 177
Chicago, IL 60637

I am a sixth-year Ph.D. student in the Department of Computer Science at the University of Chicago. My advisor is John Reppy. I received my M.Sc. in computer science from Institute of Software, Chinese Academy of Sciences. And I received my B.Sc. from Beijing Normal University.

My research interests include various topics in design and implementation of programming languges, such as optimization and correctness reasoning. My current research focuses on the static analysis of communication for concurrent programs.

TA assignments

Spring 2009 Advanced C++
Winter 2009 Implementation of PL
Summer 2008 Advanced C++ II
Spring 2008 Advanced C++
Winter 2008 Software Construction
Autumn 2007 Honors Introduction to Computer Science

Pulications

• Parallel Concurrent ML
  By J. Reppy, C. Russo, and Y. Xiao.
  ICFP 2009, September 2009.

• Toward a parallel implementation of Concurrent ML [.pdf]
  By J. Reppy and Y. Xiao.
  DAMP 2008, January 2008.

• Status Report: The Manticore project [.pdf]
  By M. Fluet, N. Ford, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao.
  ML 2007, October 2007.

• Specialization of CML message-passing primitives [.pdf]
  By J. Reppy and Y. Xiao.
  POPL 2007, January 2007.

• Manticore: A heterogeneous parallel language [.pdf]
  By M. Fluet, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao.
  DAMP 2007, January 2007.

• Toward optimization of Concurrent ML [.pdf]
  By Y. Xiao.
  Master's paper, Departent of Computer Science, University of Chicago, 2005.

Personal

Some fun stuff to do, when I get bored.