- Structure and Interpretation of Computer Programs (Fall 2021). Nanjing University
- Software Analysis (Static Program Analysis) (Fall 2021). Nanjing University
- Structure and Interpretation of Computer Programs (Fall 2020). Nanjing University
- Software Analysis (Static Program Analysis) (Fall 2020). Nanjing University
- Software Analysis (Static Program Analysis) (Spring 2020). Nanjing University