CSC 255/455 Software Analysis and Improvement (Spring 2017)
- Course description
- Course schedule (updated April 5)
- Instructor and grading
- Textbooks and other reading material
Lecture slides (when used), demonstration programs, and some of the reading material will be distributed through Blackboard. Assignments and projects will be listed here.
- Trivia assignment. Search slashdot.org for the posts on GCC, LLVM, RUST, Scala or Haskell. Select two posts to read the posts and all discussions. Write a summary with 200 or more words for each of the two posts. The summary should include at least a precise fact on the topic as well as an opinion with all supporting and disagreeing arguments pulled from the discussions. Print and submit a paper copy Monday January 23rd at the start of the class. Then see me in one of my office hours for feedback on the summary. Meet me on or before February 3rd. The grade is assigned after the meeting. Bring a copy of your paper to the meeting (in addition to the one you submit).
With the increasing diversity and complexity of computers and their applications, the development of efficient, reliable software has become increasingly dependent on automatic support from compilers & other program analysis and translation tools. This course covers principal topics in understanding and transforming programs by the compiler and at run time. Specific techniques include data flow and dependence theories and analyses; type checking and program correctness, security, and verification; memory and cache management; static and dynamic program transformation; and performance analysis and modeling.
Course projects include the design and implementation of program analysis and improvement tools. Meets jointly with CSC 255, an undergraduate-level course whose requirement includes a subset of topics and a simpler version of the project.
Teaching staff: Chen Ding, Prof., CSB Rm 720, x51373; Dong Chen, Grad TA; Jacob Bisnett, Undergrad TA.
Lectures: Mondays and Wednesdays, 10:25am-11:40am, CSB 601
Office hours: Ding, Fridays 11am to noon (and Mondays for any 15 minute period between 3:30pm and 5:30pm if pre-arranged).
TA Office hours: Dong Chen, Tuesdays 3:30pm to 4:30, CSB 720. Jacob Bisnett, Thursday 1:00 pm to 1:50 pm, CSB 720.
Grading (total 100%)
- midterm and final exams are 15% and 20% respectively
- the projects total to 40% (LVN 5%, GCC/LLVM/RUST 5%, local opt 10%, global opt 10%, final phase 10%)
- written assignments are 25% (trivial 1%; 3 assignments 8% each)
Optimizing Compilers for Modern Architectures (UR access through books24x7), Randy Allen and Ken Kennedy, Morgan Kaufmann Publishers, 2001. Chapters 1, 2, 3, 7, 8, 9, 10, 11. lecture notes from Ken Kennedy. On-line Errata
Engineering a Compiler, (2nd edition preferred, 1st okay), Keith D. Cooper and Linda Torczon, Morgan Kaufmann Publishers. Chapters 1, 8, 9, 10, 12 and 13 (both editions). lecture notes and additional reading from Keith Cooper. On-line Errata
Compilers: Principles, Techniques, and Tools (2nd edition), Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman, Pearson.
Static Single Assignment Book, Rastello et al. (in progress)