Details
Practice First
This course is organized in three parts: lectures, paper readings, and labs. The lectures cover basic topics and familiarize you with the main concepts, and the paper readings familiarize you with the latest research progress in current literatures. The lab section forces you to understand the concepts at a deeper level, since you will build the algorithms from the ground up.
The software you will build, called Dragon, compiles a subset of the C programming language by analyzing and optimizing programs. After finishing the core components of Dragon, you will also have the opportunities to expand its functionalities extensively.
The major components of the Dragon that you will be implementing include, but not limited to:
- Intermediate Representation
- Control-flow Graph
- Optimizations
- Data-flow Graphs
- Lattice and Fixpoint
- Static Single-assignment and Optimizations
- Inter-procedural Analysis
- Pointer Analysis
- Abstract Interpretation
And there will be a final project, in which you are encouraged to propose your own ideas and implement them into your compiler.
For each lab, we will provide skeleton code for you to start with. But you will have to do all the hard work. You will have design freedom for the details of most data structures and algorithms.
At the end of the course, you will be able to find your way around the source code of most static analysis and optimizations, and more generally, be comfortable with programs analyzing programs. You will understand many program analysis concepts in detail and will be able to use them in other environments. You will also understand the Java programming language, the Java bytecode and general OO programming techniques well.
Staff
- Hua, Baojian; bjhua - ustc.edu.cn
- Liu, Mingliang; liumingliang - mail.ustc.edu.cn
- Deng, Shanlin; dengshanlin - mail.ustc.edu.cn
- Wu, Si; wusi98 - mail.ustc.edu.cn
Contact
- QICQ Group: 902827311. This group is used only for course announcements.
Collaboration
For homework or labs, you may not collaborate with others; you may discuss with your classmates or the staffs, but the final work must be your own.
Do NOT post your solutions to lab or homework on publicly accessible websites or file spaces. Do NOT refer to the similar code on public webs.
Grading Policy
- Labs: 50%
- Final test: 50%