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