Programmanalyse
Hauptseminar im SS 2002
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970
Inhalt
Der Schwerpunkt des Seminars liegt auf Verfahren, die das Verstehen großer Programme erleichtern - die also für ein gegebenes Programm (oder einen gegebenen Lauf) Aussagen über Informationsfluß, Performanz, Abhängigkeiten oder Ursachen und Wirkungen geben.Themen
Für weitere Literaturrecherche empfehlen wir den CiteseerTermine
Das Seminar wird in der zweiten Semesterferienwoche als Blockveranstaltung mit zwei Vorträgen/Tag stattfinden. Die Vorträge werden jeweils um 10:00 Uhr st. und ca. 11:00 anfangen.
| Datum | Vortragender | Titel |
|---|---|---|
| 29.07.02 | P. Sänger | Datenflussanalyse |
| 29.07.02 | C. Anukul | Abstrakte Interpretation |
| 30.07.02 | B. Stutz | Points-To-Analyse |
| 30.07.02 | C. Bieg | Shape-Analyse |
| 31.07.02 | S. Winkel | Laufzeitoptimierung |
| 31.07.02 | B. Jokisz | Assembler-Reengineering |
| 01.08.02 | D. Schade | Statisches Slicing |
| 01.08.02 | P. Bouillon | OO-Slicing |
| 02.08.02 | A. Gross | Dynamische Invarianten und Debugging |
| 02.08.02 | S. Kunde | Delta Debugging |
Betreuer des Seminars sind Prof. Andreas Zeller, Holger Cleve und Nicolas Fritz.
Impressum ● Datenschutzerklärung
<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/edu/sempa/?lang=en · Stand: 2018-04-05 13:40