Fall 2012 – Summer 2013
Computer Science (Sci) : Program analysis and transformations are used in optimizing compilers and other automatic tools such as bug-finders, verification tools and software engineering applications. Course topics include the design of intermediate representations, control flow analysis, data flow analysis at both the intra- and inter-procedural level and program transformations for performance improvement.
Terms: Winter 2013
Instructors: Laurie Hendren (Winter)