Yuzhen Xie NSERC Postdoctoral Fellow SuperTech Group Computer Science and Artificial Intelligence Laboratory (CSAIL) Massachusetts Institute of Technology (MIT) Cambridge, MA USA

Research

I am currently an NSERC Postdoctoral Fellow supervised by Professor Charles E. Leiserson in the Supercomputing Technologies Group at CSAIL MIT. The short-term goal of my PDF work is to develop a parallel symbolic computation library in Cilk++ in support of high-performance computer algebra on multi-cores. A recent progress is reported in the Multicore Programming Blog of Cilk Arts.

My Ph.D. research was supervised by Professors Marc Moreno Maza and Stephen M. Watt at the Ontario Research Centre for Computer Algebra (ORCCA). My Ph.D. work was mainly on high-performance computing for computer algebra, in particularly on developing and deploying new algorithms and methods to integrate computer algebra and parallel computing for solving systems of non-linear equations symbolically, including

• modular algorithms for triangular decompositions (joint work)
• RegularChains library in Maple (joint work)
• component-level parallel solving of systems of non-linear equations (implemented in Aldor and C on Silky in SHARCNET)
• Development of a suitable high-level categorical framework in Aldor for computer algebra that can be efficiently specialized to important parallel environments, such as SMPs and multi-cores.

My publications are listed here.

Academic Background

• NSERC Posdoctoral Fellow (09/2008-date),
  Supercomputing Technologies Group (SuperTech),
  Computer Science and Artificial Intelligence Laboratory (CSAIL),
  Massachusetts Institute of Technology (MIT)
• NSERC Posdoctoral Fellow (08/2008),
  Symbolic Computation Group,
  David R. Cheriton School of Computer Science,
  University of Waterloo
• Ph.D. in Computer Algebra (09/2007),
  Computer Science Department, UWO
• M.Sc. and B.Sc. in Computer Science (2002), UWO
  MESc in Civil & Environmental Engineering (1999), UWO
• B.E.Sc. in Systems Engineering,
  Civil & Environmental Engineering Department,
  Tsinghua University

My honors are listed here.

Teaching                                                                         Back to Top

• Teaching Assistant for courses (2000-date, UWO):
  UNIX System and C Programing, Operating Systems, Database Management, Discrete Math, Linear Algebra, Calculus
• Instructor for course labs (1998, 1999, 2002, UWO):
  AutoCAD, Dynamics, Programing in Java

Activities                                                                         Back to Top

• Complimentary member of the Canadian Applied and Industrial Mathematics Society (CAIMS)
• Member of the ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM)
• Member of the Mathematical Knowledge Management Interest Group (MKM-IG)
• Member of the InformIT, and Linux Magazine
• Volunteer for ISSAC2001, ECCAD2004, TC2006, CAIMS/NSERC 2006 Survey, and London University Heights fun fares
• Slogan at Tsinghua University to share: "Work healthily for our home country for fifty years!"
  How? Answer: "8 - 1 > 8".
• Favorite aerobics programs: Step and Cardio Kickbox; Favorite poker games: Shoving up Pigs and Tractor
• My daughter's drawings
• My father's talk in the third International Congress of Traditional Medicine (September 2006, Toronto):
  A Clinical Research Report on the Regeneration of Fibrotic Heart Muscle Cells by Natural Herbal Medicine
• Enjoy the world wonders!

Some Experience to Share                                                                         Back to Top

• Birdview of computer algebra systems
• Models, languages and algorithms in parallel programming
• An index into the C Programming Reference Guide
• How fast is fast? asymptotically, amortized, provably, probabilistically, quasi-linear, super linear, scalable ...
• "Headaches" in high-performance computing for computer algebra
• Build up your own ring for parallel programing in MPICH2
• Inadequate dynamic process management in MPI-2
• Porting 32-bit code in C and in Aldor to 64-bit systems (Authentic AMD and SGI Altix 3700 Bx2)
• Make an A0 poster in LaTex
•   Extra: How to do mathematical proofs

Contact Information                                                                         Back to Top

Yuzhen Xie
MIT CSAIL 32 Vassar St. Cambridge, MA 02139, USA Office: #32-G770 Phone: (617) 253 3392 Email: yxie@csail.mit.edu URL: http://www.orcca.on.ca/~yxie