CISC 872 Advanced Program Analysis and Transformations

(Spring Semester 2005)

Welcome to CISC 872's web page!

In this course, we will together investigate the issues that researchers and developers of software tools, optimizing compilers, and automatic parallelizers need to address. Topics will include: static and dynamic program analysis and machine-independent code transformations, control flow analysis, intraprocedural data flow analysis, alias analysis, advanced program representations including SSA and PDG and local, global and interprocedural analysis. The course will start with some of the classic program analysis techniques, and then examine recent papers on different program analyses and their applications to problems within program optimization, security, software testing, software maintenance, and software tools.

At the end of the semester, a student completing the course should have:

a solid knowledge of classical program analysis techniques
an awareness of the kinds of problems that could be addressed through development of new or extension/modification of existing program analysis techniques
improved oral and written communication skills
improved skills in critical paper review and identification of open problems
experience in the process of research proposal preparation, from topic identification, through literature review, open problem identification, brainstorming and writing a miniproposal.
experience as a proposal review panelist

Meeting Times and Place

Tuesdays and Thursdays: 2:00-3:15, Location to be determined.

Prerequisite: CISC672 or an undergraduate course in compilers recommended, but not required.
Restrictions: Undergraduates must obtain instructor's permission.

General Course Information Links - Under Construction

Course Announcements

Announcements marked {NEW} are less than 1 week old.