EECS 583: Lecture Notes

Class 1 (Wednesday, Sep 5, 2018): Powerpoint or PDF

• Course introduction and organization. Control flow analysis overview.

Class 2 (Monday, Sep 10, 2018): Powerpoint or PDF

• Basic control flow analysis.

Class 3 (Wednesday, Sep 12, 2018): Powerpoint or PDF

• Region formation, predicated execution.

Class 4 (Monday, Sep 17, 2018): Powerpoint or PDF

• If-conversion.

Class 5 (Wednesday, Sep 19, 2018): Powerpoint or PDF

• Dataflow analysis.

Class 6 (Monday, Sep 24, 2018): Powerpoint or PDF

• More dataflow analysis.

Class 7 (Wednesday, Sep 26, 2018): Powerpoint or PDF

• Static single assignment form.

Class 8 (Monday, Oct 1, 2018): Powerpoint or PDF

• Classic optimizations.

Class 9 (Wednesday, Oct 3, 2018): Powerpoint or PDF

• Classic + ILP optimization.

Class 10 (Monday, Oct 8, 2018): Powerpoint or PDF

• Finish optimization, Intro to Code generation.

Class 11 (Wednesday, Oct 10, 2018): Powerpoint or PDF

• Instruction scheduling.

No Class (Monday, Oct 15, 2018): Fall Break!

Class 12 (Wednesday, Oct 17, 2018): Powerpoint or PDF

• Superblock scheduling, Intro. to software pipelining.

No Class (Monday, Oct 22, 2018): Project meetings!

No Class (Wednesday, Oct 24, 2018): Project meetings!

Class 13 (Monday, Oct 29, 2018): Powerpoint or PDF

• Modulo scheduling.

Class 14 (Wednesday, Oct 31, 2018): Powerpoint or PDF

• Modulo scheduling reloaded

Class 15 (Monday, Nov 5, 2018): Powerpoint or PDF

• Register allocation

Class 16 (Wednesday, Nov 7, 2018): Powerpoint or PDF

• Automatic parallelization: Decoupled software pipelining

Class 17 (Monday, Nov 12, 2018): No regular class

• Group office hours for exam-related questions in regular classroom

Class 18 (Wednesday, Nov 14, 2018): Exam

• Midterm exam in regular classroom, starts at 10:40am

No Class (Monday, Nov 19, 2018): Recover from Exam!

Class 19 (Wednesday, Nov 21, 2018): Research paper presentations I

• Jason Whitfield, Jonathon Penix, and Armand Behroozi, "Bitwidth Analysis with Application to Silicon Compilation" - Powerpoint
• Jiwon Joung, Brandon Nguyen, Can Carlak, and Won Park, "TZSlicer: Security-Aware Dynamic Program Slicing for Hardware Isolation" - Powerpoint
• Po-Jen Lai, Timmy Lin, Chun-Yu Hsiung, and Hung-Lin Wu, "Code-Pointer Integrity" - Powerpoint
• Qiao Yan, Yijia Liu, Luyao Chen, and Isaiah Mayerchak, "Applying SVM to Data Bypass Prediction in Multicore Last-level Caches" - Powerpoint

Class 20 (Monday, Nov 26, 2018): Research paper presentations II

• James Connolly, Pranav Srinivasan, and Jielun Tan, "Operation and Data Mapping for CGRAs with Multi-bank Memory" - PDF
• Xumiao Zhang and Shenghao Lin, "A Trusted Safety Verifier for Process Controller Code" - Powerpoint
• Yifan Zhao, Rui Hou, Baixu Chen, "Exploiting Superword Level Parallelism with Multimedia Instruction Sets" - Powerpoint
• Abhishek Kumar, Christian Smith, Thomas Oliver, "Predicting Unroll Factors Using Supervised Classification" - Powerpoint

Class 21 (Wednesday, Nov 28, 2018): Research paper presentations III

• Changfeng Liu, Jiachen Sun, and Shengtuo Hu, "KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs" - PDF
• Zhehao Li, Jian Guo, Tiancheng Jin, and Zhaoheng Zheng, "Look-Ahead SLP: Auto-vectorization in the Presence of Commutative Operations" - Powerpoint
• Jiaqing Ni, Parth Oak, and Joseph Sorenson, "Clairvoyance: Look-Ahead Compile-Time Scheduling" - PDF

Class 22 (Monday, Dec 3, 2018): Research paper presentations IV

• Colton Holoday, Andrew McCrabb, Lauren Biernacki, and Yirui Liu, "Optimizing Array Bound Checks Using Flow Analysis" - PDF
• C Jones and James Perretta, "Trace-based Just-in-Time Type Specialization for Dynamic Languages" - Powerpoint
• Kevin Matthews, Lara Khamisy, and Christopher Pratt, "CETS: Compiler-Enforced Temporal Safety for C" - Powerpoint
• Drew Davis, Matthew Furlong, Ayush Goel, and Umang Lathia, "Bringing the Web up to Speed with WebAssembly" - PDF

Class 23 (Wednesday, Dec 5, 2018): Research paper presentations V

• Project Deliverables, HW2 Contest Winners: Powerpoint or PDF
• Harisankar Sadasivan, Hasan Al Maruf, Fan Lai, and Sheng Chong, "LegUp: High-Level Synthesis for FPGA-Based Processor/Accelerator Systems" - Powerpoint
• Shengpu Tang, Yanqi Wang, Yiting Shen, and Qi Zhang, "Machine Learning in Compiler Optimisation" - PDF