| Index | Title | Keywords | Lecturer | Time | Links | Presiquite |
|---|---|---|---|---|---|---|
| 1 | An axiomatic basis for computer programming | Correctness, Hoare Logic, Verfication | Zihao Li | 2021.11.7 | PPT | have learned Proprositional Logic |
| 2 | Exploiting superword level parallelism with multimedia instruction sets | Vectorization, Automatic parallelization, SIMD | Zhongcheng Zhang | 2021.11.14 | PPT | Abstract and Introduction parts in paper are strongly suggested to read before attending the seminar |
| 3 | Precise Interprocedural Dataflow Analysis via Graph Reachability | Interprocedural Analysis | Yongheng Huang | 2021.11.21 | link | Data-flow Analysis, Interprocedural Analysis |
| 4 | Advanced Compiler Optimizations For Supercomputers | Dependence Aanlysis, Automatic parallelization, Vectorization | Quanxi Li | 2021.11.28 | PPT | the "Data Dependence" concept in Computer Architecture Course |
| 5 | A comparison of empirical and model-driven optimization | Program Synthesis, Synthesis for Performance | Kaiyan Chang | 2021.12.05 | PPT | |
| 6 | Invited Talk: GEMM | High Performance Computation, Matrix-Mutilication on GPU | Han Bao | 2021.12.12 | slides | |
| 7 | Detecting Equality of Variables in Programs | Optimization, History: the orgin of SSA | Zihao Li | 2021.12.19 | slides | at least know what is SSA |
| 8 | Automatic Translation of FORTRAN Programs to Vector Form | Vectorization | Zhongcheng Zhang | 2021.12.26 | slides | |
| 9 | LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation | Compiler Infrastructure | Jiazhi Mi | 2021.01.02 | TODO |