Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester10/11 Vorlesungen Program Optimization login

Program Optimization

Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Monday 12:30-14:00, Thursday 10:15-11:45 in seminar room MI 02.07.014
ModulNummer:IN2053
Beschreibung:    The lecture is meant for students in their Hauptstudium or in their Master studies who are interested in compiler technology. The lecture is part of practical computer science.

Lecture times / important news:

IMPORTANT: The second exam takes place on April 27. To register for the re-examination, please sign your name on the list attached to the door of Prof. Seidl's office.

Lectures: Monday 12:30-14:00 and Thursday 10:15-11:45 in seminar room MI 02.07.014

Exercises:  Wednesday (Vesal Vojdani), 12:00-13:30, and Thursday (Aleksandr Karbyshev), 16:00-17:30, in seminar room MI 02.07.014. You only need to attend one of sessions. :-) 

Content:

Audience:  The lecture is meant for students in their Hauptstudium or in their Master studies who are interested in compiler technology. The lecture is part of practical computer science.

Programs which we write should be both efficient and easily to maintain. In particular, maintainability means that programs should be well-structured and easily understandable also by humans. Being well-structured and easily readable, though, may often come at the price oft a degradation in efficiency at run-time.

For this reason, most compilers offer an optimization phase in which the source program is analyzed and where various transformations are applied to automatically improve efficiency. In some cases, it may happen that the attempt for improvement overshoots the target and results in programs which are perhaps fast but are no longer equivalent to the original program.

In the lecture, we give an overview over standard techniques for improving the quality of the generated code. In particular, we are interested in methods which guarantee that the resulting code still is equivalent to the source program.


Material:

  • Literature
    • Seidl, Wilhelm, Hack: Übersetzerbau: Analyse und Transformation, Springer, 2010
    • Muchnick: Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997
    • Wilhelm, Maurer: Übersetzerbau. Theorie, Konstruktion, Generierung. Springer, 1992
    • Nielson, Nielson, Hankin: Principles of Program Analysis. Springer, 2005
    • Knoop: Optimal interprocedural program optimization: A new framework and its application. Springer, 1998
  • Slides
    • Oct. 18, 2010, PDF
    • Oct. 21, 2010, PDF
    • Oct. 25, 2010, PDF
    • Oct. 28, 2010, PDF
    • Nov. 04, 2010, PDF
    • Nov. 08, 2010, PDF
    • Nov. 11, 2010, PDF
    • Nov. 15, 2010, PDF
    • Nov. 18, 2010, PDF
    • Nov. 22, 2010. PDF
    • Nov. 25, 2010, PDF
    • Nov. 29, 2010, PDF
    • Dec. 06, 2010, PDF
    • Dec. 09, 2010, PDF
    • Dec. 13, 2010, PDF
    • Dec. 16, 2010, PDF
    • Dec. 20, 2010, PDF
    • Dec. 23, 2010, PDF
    • Jan. 10, 2011, PDF
    • Jan. 13, 2011, PDF
    • Jan. 17, 2011, PDF
    • Jan. 20, 2011, PDF
    • Jan. 24, 2011, PDF
    • Jan. 27, 2011, PDF
    • Jan. 31, 2011, PDF
    • Feb. 03, 2011, PDF
    • Feb. 07, 2011, PDF

 



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 11 ms