HOME | ENGLISH | IMPRESSUM | KIT

Compiler II

Themen

  • Ausgewählte Kapitel aus dem Übersetzerbau (Fortführung von Übersetzerbau im WS)
  • Fortgeschrittene Programmanalysetechniken: Dominanz, Datenfluss, Programmslicing, Abstrakte Interpretation, Interprozedurale Analyse
  • Modelierung von Speicherzugriffen und Backends in der SSA-Form
  • Registerzuteilung auf SSA-Form Programmen
  • Cache-Optimierungen
  • Schleifentransformationen

Unterlagen

Vorlesungsfolien PDF
14.04.2008 Literatur Download
14.04.2008 Einführung Download
14.04.2008 Überblick Programmanalyse Download
14.04.2008 Satz von Rice (aus Schöning Theoretische Informatik) Download
25.04.2008 Dominanz (Version 3) Download
05.05.2008 Datenflussanalyse Download
09.05.2008 Verbandstheorie (Version 2) Download
19.05.2008 Datenfluss (nielson) Download
26.05.2008 Beweise Live Variables und MOP=MFP (aus Principles of Program Analysis) Download
09.06.2008 Abstrakte Interpretation (Schmidt) Download
16.06.2008 SSA Form Download
01.07.2008 SSA Registerzuteilung Download
07.07.2008 Interprozedurale Analyse (Cooper/Torczon) Download
14.07.2008 JVM, Garbage Collection Download

Einige der Materialien sind nur innerhalb des Universitätsnetzwerks zugänglich. Um auf das Material von zu Hause zuzugreifen kann man sich mit seinem Rechenzentrums-Account einen VPN-Tunnel einrichten.

Termin

vom 14.04.2008, bis 14.07.2008

Tag Beginn Ende Ort
Montag 9:45h 11:15h SR -118 (50.34)

Literatur

Lehrbücher

s. Slides

Registerallokation

Veranstalter

Lehrstuhlinhaber
Prof. Gregor Snelting