
Computer Systems & Security Group, USTC
Courses

Compiler: [Spring 2025]
This is a course on compiler design and implementation. The primary goal of this course is to provide students with an understanding of the basic concepts of compiler design and implementation. Potential topics include but not limited to: lexing and parsing, abstract syntax trees, semantic checking, control-flow graphs, static single-assignment forms, instruction selection, scheduling, register allocation, and garbage collection, among others.

Formal Method: [Spring 2025]
This is an advanced graduate course on formal method foundations. The primary goal of this course is to provide students with an understanding of the basic concepts of formal methods, and their applications in computer science, especially in software modeling, computer security and program verification.Roughly, there are six board topics will be covered: mathematical logic, dependent type theory, proof theory, functional programming, SAT and SMT, program modeling.

Advanced Compiler: [Spring 2025]
This is an advanced graduate course on compiler design and implementation. The primary goal of this course is to provide students with a more modern and sophisticated perspective on compilers. Topics include but not be limited to: control-flow analysis, data-flow analysis, lattice and monotone framework, optimizations, type-based analysis, pointer analysis and optimization, interprocedural analysis and optimization, polyhedral-based models, and abstract interpretation.