CS612 Course Schedule and Slides

Part I: Foundations of program analysis and transformations

• 26, Overview of course [ps]
• 28, Low-performance Java [ps] (revised 2/3)
  If you are intested in the CS211 Bali/SaM project that was discussed in class, you can find it here.

• 2, Low-performance Java (cont.)
• 4, class cancelled. NSF site visit.
• 9, Optimizing Object-oriented Languages [ps]
• 11, Scalar dataflow analysis [ps]
• 16, Scalar dataflow analysis (cont.)
• 18, Control Dependence, SSA, SDEF [ps]
• 23, Control Dependence, SSA, SDEF (cont.)
• 25, Roman Chariots [ps]

• 2, Roman Chariots (cont.)
• 4, Interprocedural analysis [ps] (revised 3/11)
• 9, Interprocedural analysis (cont.)
• 11, Interprocedural analysis (cont.)
  The paper, ``A survey paper on stack analysis techniques (and some extensions to heap analysis)'' by Hind, et. al., can be found here
• 16, Loop transformations , ILP formatulation of loop transformations [ps]
• 18, ILP (cont)., Fourier-Motzkin [ps]
• 30, The remaining lectures,
  • Transformations and Dependence [ps]
  • Linear Loop Transformations for Locality Enhancement [ps]

• 1, cont.
• 6, Sam Midkiff, Java for Numerically Intensive Computing
• 8 Paul Stodghill, An Introduction to Sparse Compilation [ps - portrait slides] [ps - landscape slides]

Part II: Student paper and project presentations

• 13, Kevin Hamlen, Shape Analysis [ps]
• 15, Alexei and Alexey [ppt] [word]
• 20, Vladimir and Dave, Cache-conscious GC [zip]
• 22, Ioannis and Fabio
• 27, Matt and Matthew [ps #1] [ps #2]
• 29, Keshav, James

• 4 James and Kiri, Interprocedural Control Dependence, [ppt]
• 6