Shandong University, P.R.China;
Insititute of Computing Technology, P.R.China;
Rice University, USA.
Department of Computer Science
University of Colorado at Colorado Springs
1420 Austin Bluffs Parkway
Colorado Springs, CO 80918
: ENG 176
Program analysis and optimization for high-performance computing
High-level specification of domain-specific properties and program transformations
Automated code generation; systematic error-discovery and verification of software.
Currently I'm actively involved in building software development tools to
improve both the productivity and efficiency of programming.
My Active Research Projects and Grants
My Curriculum Vitae
The POET project page
I am looking to hire research assistants who are interested in Programming Languages and Compilers, who are motivated to learn, and who strive to be the best they can be.
CS4100/5100: Compiler Design (Spring 2013):
CS3060: Object-oriented Programming in C++ (Fall 2012):
Class materials available through UCCS blackboard.
From 2005-2012, I was an assistant professor at the University of Texas at San Antonio. I've taught the following courses over there.
cs3723: Programming Languages
(Fall 2005, Spring 2007, Fall 2007,Fall 2008, Spring 2009, Fall 2009, Spring 2011, Spring 2012)
cs4713: Compiler Writing
(Spring 2006, Fall 2007)
cs5363: Programming Languages and Compilers
(Fall 2006, Fall 2008, Fall 2010, Fall 2011)
cs6463: Program Analysis and Its Support for Software Development (Spring, 2008)
cs6363: Advanced Compiler Construction (Spring, 2010)