Program Analysis and Transformation

(Course#311.3)

Overview

This course is a study of techniques for analyzing programs to gather information that is useful for addressing a particular problem. Applications of program analysis include static compiler optimization, dynamic optimization, debugging, testing, security, software maintenance, reverse engineering, automatic parallelization, (semi) automatic transformation of a program, and interactive programming environments.

Topics include static and dynamic program analysis and code transformations, control- and data flow analysis, advanced program representations like SSA, and program transformation techniques like partial evaluation and staging. We will pay particular attention to theoretical properties (like correctness) of the analyses and transformations.

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

• a solid knowledge of the principles of program analysis and transformation techniques
• an awareness of the kinds of problems that could be addressed through development of new or extension/modification of existing program analysis techniques
• skills to read, summarize, and critique a research paper, with particular attention to gaining a clear understanding of motivation, goals, approaches, limitations, contributions, and experimental evaluation methods

Mailing List and Forum

If you are going to attend the lecture, please register in our mailing list at
http://jsb.st.informatik.tu-darmstadt.de:8080/mailman/listinfo/pat06 and visit our forum at http://www.fachschaft.informatik.tu-darmstadt.de/forum/viewforum.php?f=235 .

The course will be given by:

Prof. Dr.-Ing. Klaus Ostermann
Dipl.-Inform. Karl Klose

Time and Place:

Lectures:

Weekday	Time	Room
Mondays	14:25 - 16:05	S2 02 | C110
Wednesday	9:50 - 11:30	S2 02 | C110