Official course description

Translators II (CIS-801)

Purpose:

This course will provide an in-depth presentation of static program analysis techniques that support program transformation. The course will present several approaches to formulating such analyses. Students will gain hands-on experience with designing, implementing and evaluating modern compiler analyses for Java.

Contents:

  • Data flow frameworks
  • Constraint-based flow analyses
  • Classic flow analysis problems
  • Inter-procedural analysis
  • Specialized flow analyses for Java
  • Program transformation for state-space reduction

Schedule:

Lectures: 3 hours/week. Monday/Wednesday 3:30-4:45, Nichols 127

Prerequisites:

CIS 606 or 706

Marking Scheme:

Homeworks (30%), Course Presentations (40%), Final Project (30%)

Instructors:

Matthew Dwyer (primary instructor), Nichols 324, Office Hours (by appointment)
John Hatcliff, Nichols 324, Office Hours (by appointment)

Credits:

3 credits

Maintained by Matt Dwyer. Fri Aug 17 10:21:56 CDT 2001 [HOME]