CS 6013 - Modern Compilers - Theory and Practice

Goal of the course: At the end of the course, students will have a fair understanding of some standard passes in a general purpose compiler. Students will have hands on experience on implementing a few program analyses and optimization techniques.

Time and Place: Mon (8.00-8.50pm), Tue (12-12.50), Thu (11-11.50), Fri (10-10.50) A slot. Class room # CS 24.
Teacher : V. Krishna Nandivada
Office hours / Doubt sessions : Anytime.
TA : Aman Nougrahiya (amannoug@cse).
Office hours / Doubt sessions : Fix a time by sending an email.
Course outline.
Software, documentation and tools link is here.
Submission guidelines.
Discussion website is here (access restricted).
Texts:
- Book 1: Advanced Compiler Design and Implementation: Steven Muchnick.
- Book 2: Compilers: Principles, Techniques, and Tools: A V Aho, Monical Lam, R Sethi, J D Ullman.
- Book 3: Principles of Program Analysis: Flemming Nielson, Hanne Riis Nielson, Chris Hankin, Springer, 2005.
- Book 4: Modern compiler implementation in Java, Second Edition, Andrew W. Appel, Jens Palsberg, Cambridge University Press, 2002.
- Book 5: The Java programming language, Arnold, Gosling and Holmes, Addison-Wesley, 2005. Also see the online manuals in the documentation section.
- Paper 0: The Fortran Automatic Coding system, Backus et al, 1957.
- Paper 1: A unified approach to program optimization: Gary A Kildall, 1973.
- Paper 2: Constant Propagation with conditional branches: Wegman and Zadeck.
- Paper 3: Interprocedural constant propagation: Callahan, Cooper, Kennedy and Torczon.
- Paper 4: Linear Scan Register Allocation: Poletto and Sarkar.
- Paper 5: Improved Bitwidth-aware Variable Packing: Nandivada and Barik.
- Paper 6: Bitwidth aware register allocation: Tallam and Gupta.

Slides for the Lectures:

Two LH. Introduction, overview of lexical and syntax analysis.
Two LH. JavaCC, Visitor Pattern and JTB.
Four LH. Symbol Table Creation and IR Generation, IR generation for OO languages.
Six LH. Data Flow Analysis, constant propagation, conditional constant propagation.
Four LH. Control Flow Analysis and optimizations.
Four LH. SSA and optimizations, sparse conditional constants paper.
Eight LH. Dependence analysis, overview of optimizations, loop optimizations, introduction to polyhedral transformations.
Four LH. Call graph construction, interprocedural constant propagation, function inlining.
Five LH. Alias and Points-to analysis for C and Java.
Five LH. Register Allocation. Paper on iterated register coalescing register allocation. Paper on linear scan register allocation. Paper on Bitwidth Aware Register Allocation. Paper on Improved Bitwidth-Aware Variable Packing. Runtime management.
Four LH. MHP Analysis and its uses. Paper on Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs.

Assignment	What?	Credit	Start date	Mid-Eval date	Due-date
P1	Refresh Scanning+Parsing	5%	13 Jan 2015	-	22 Jan 2015, 5:59PM
P2	IR Generation	5%	19 Jan 2015	23 Jan 2015	01 Feb 2015, 05:59PM
P3	Conditional Constant Propagation	10%	02 Feb 2015	11 Feb 2015	01 Mar 2015, 05:59PM
P4	Loop Transformations	10%	06 Mar 2015	13 Mar 2015,	26 Mar 2015, 05:59PM
P5	Function Inlining	05%	27 Mar 2015	01 Apr 2015,	09 Apr 2015, 05:59PM
P6	Alias Analysis	10%	09 Apr 2015	14 Apr 2015	29 Apr 2015, 05:59PM
P7	Paper reading	10%	30 Mar 2015	-	-

Written Exams:

Midterm exam (20%) on Mar 14th 2015, 9am. Closed book, closed notes, closed neighbor. sample solution.
Final exam (25%) on Apr 30th 2015, 9am. Closed book, closed notes, closed neighbor. sample solution.

Under construction Last updated: Wed Jan 7 15:12:47 IST 2015