Courses
| Number | Title | Instructor |
|---|---|---|
| CS 352 | Compilers: Principles and Practice | Tiark Rompf Changhee Jung |
| CS 408 | Software Testing | Lin Tan |
| CS 456 | Programming Languages | Ben Delaware |
| CS 502 | Compiling and Programming Systems | Tiark Rompf Changhee Jung |
| CS 510 | Software Engineering | Xiangyu Zhang Lin Tan |
| CS 560 | Reasoning about Programs | Ben Delaware |
| CS 565 | Programming Languages | Ben Delaware Suresh Jagannathan |
| ECE 468 | Intro to Compiler and Translation Systems | Xiaokang Qiu |
| ECE 573 | Compilers and Translator Writing Systems | Xiaokang Qiu |
| ECE 663 | Advanced Compilation and Automatic Programming |
Xiaokang Qiu |