Advanced Compiler Design
- Time: T6 T7 T8
- Location: T4-306
- 教師:
- 助教:
To study advanced topics in compiler construction
Algorithms, Programming Languages, Compiler Design
Advanced Compiler Design and Implementation
Steven Muchnick
Morgan Kaufmann 1997
ISBN 1558603202
Compilers: Principles, Techniques, and Tools, 2nd Edition
Aho, Lam, Sethi, and Ullman
Addison-Wesley 2007
ISBN 0-321-48681-1
Midterm 30%
Term project and Presentation 40%
Final project and report 30%
程式作業必須準時上傳繳交
遲交作業為零分
程式作業必須自己完成
抄襲別人程式或共同完成都視為作弊
程式作業零分並且送校規處分
| Lectures |
Topic |
Slides |
Book Sections |
| 1 |
Introduction |
2P
4P |
Chapter 1-6 |
| 2 |
Control-Flow Analysis |
2P
4P |
Chapter 7 |
| 3 |
Data-Flow Analysis |
2P
4P |
Chapter 8 |
| 4 |
Dependence Analysis |
2P
4P |
Chapter 9 |
| 5 |
Alias Analysis |
2P
4P |
Chapter 10 |
| 6 |
Early Optimizations |
2P
4P |
Chapter 12 |
| 7 |
Redundancy Elimination |
2P
4P |
Chapter 13 |
| 8 |
Register Allocation |
2P
4P |
Chapter 16 |
- Global Optimization by Suppression of Partial Redundancies,
E. Morel and C. Renvoise, Communications of the ACM, Volume 22 Issue 2, Feb. 1979, Pages 96-103
- An Efficient Method of Computing Static Single Assignment Form, R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, F. K. Zadeck, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Pages 25-35, 1989
- Constant Propagation with Conditional Branches,
Mark N. Wegman and F. Kenneth Zadeck, ACM Transactions on Programming Languages and Systens, Volume 13 No. 2, Feb. 1991, Pages 181-210
- Context-sensitive interprocedural points-to analysis in the presence of function pointers,
M. Emami, R. Ghiya, and L. Hendren, PLDI'94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, June 1994, Pages 242-256
- Program Analysis and Specialization for the C Programming Language,
Lars Ole Andersen, Ph.D. Thesis, DIKU, University of Copenhagen, 1994
- Points-to Analysis in Almost Linear Time,
Bjarne Steensgaard, POPL'96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Pages 32-41
- Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C,
Rakesh Ghiya and L. Hendren, POPL'96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Pages 1-15
- Solving shape-analysis problems in languages with destructive updating,
Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm, POPL'96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Pages 16-31
- 上課開始時間：1:30PM
- 期中考：2024/11/12 1:30PM