| Semester | Course Title |
| Spring 2000 | Special Topics in Compiler Design |
| Spring 2002 | Special Topics in Advanced Compiler Techniques |
| Spring 2003 | Special Topics in Advanced Compiler Technologies |
| Spring 2006 | Special Topics in Runtime Systems for Parallel Computing |