Web Home

Hpc02

<font size=+3><b>Master Seminar on High-Performance Compilers</b></font>

Optimizing compilers are essential tools for getting good implementations of high-level languages. By leaving optimizations to the compiler, programmers can concentrate on well-designed, maintainable programs.

Between parsing the input program and writing the generated machine code, optimizing compilers perform a wide range of transformations on a program to improve its time and space behaviour. In this course we study a selection of such optimizing transformations and their implementation in Stratego, a language for program transformation based on the paradigm of rewriting strategies. In this year's installment of the seminar we will focus on loop optimizations.

In previous versions of this course a compiler for Andrew Appel's Tiger language was built. In this year's installment we will take a basic Tiger compiler in Stratego as given and extend it with loop optimizations.

   * [[Education page]]:  official page with times and rooms
   * [[Course description]]  - brief description of content and literature
   * [[Course literature]] - pointers to literature 
   * [[Other Papers]]
   * [[Course schedule]] - planning of meetings
   * [[CourseAssignments]] - description of the project

   * Tiger:WebHome - Tiger in Stratego project
   * Stratego:WebHome - Stratego download and documentation

   * [[Similar courses]]

<!--
   * Set PREV_SKIN = notitle
-->

Master Seminar onHigh-Performance Compilers

Web Home

Master Seminar on
High-Performance
Compilers