Zur Webseite der Informatik

Abteilung Programmiersprachen und Übersetzerbau

Seminar Ausgewählte Themen der Programmanalysen (2S)

Prof. Dr. Erhard Plödereder
Felix Krause

  • Mittwoch 09:45 - 11:15 Uhr, Raum 0.457

Start des Seminars

Starttreffen und Themenvergabe:

Organisatorisches

Seminarausschreibung: PDF

Informationen zum Inhalt und zur Organisation finden Sie hier: PDF

Kickoff:

Das Kickoff findet außerhalb des regulären Termins statt, da der Seminarraum an diesem von Einführungsveranstaltungen für Erstsemestler belegt ist. Wir treffen uns am Dienstag, 18.10., zum Kickoff im SunTrec-Raum (1.212). Es werden die verfügbaren Themen vorgestellt und sonstiges Organisatorisches geklärt. Anschließend werden alle Teilnehmer angehalten, der Vortrag „Vortragstechnik“ um 17:30 in Raum 0.108 zu besuchen.

Wer beim Kickoff nicht anwesend ist, muss damit rechnen, vom Seminar ausgeschlossen zu werden.

Hinweise für die Ausarbeitung:
Die Ausarbeitungen müssen dem zweispaltigen IEEE-Format für Konferenzbeiträge genügen und einen Umfang von 8 - 10 Seiten einschließlich Zusammenfassung und Literaturverzeichnis haben. Unter den folgenden Links gibt es entsprechende Vorlagen.

Generelle Hinweise zu Vorträgen und Ausarbeitungen findet man hier.

Seminartermine

  Datum Uhrzeit Raum Thema Vortragender Material
1.

Di., 18.10.2016

17:00 -17:30

1.212 SunTrec

 Kickoff

 

 handout
  Mi, 26.10.2016 09:45 - 11:15 0.457 Einführung Prof. Dr. E. Plödereder  
2. Mi., 09.11.2016 09:45 - 11:15 0.457      
3. Mi., 16.11.2016 09:45- 11:15 0.457      
4. Mi., 23.11.2016 09:45 - 11:15 0.457 Datenflussanalysen S. Wick   
5. Mi., 30.11.2016 10:00 - 11:15 0.457 Interprozedurale Prozessanalyse S. Friz  
6. Mi., 07.12.2016 10:00 - 11:15 0.457  AST-basierte Techniken zur Klonerkennung F. Bühler  
7. Mi., 14.12.2016 10:00 - 11:15 0.457 fällt aus    
8. Mi., 21.12.2016 10:00 - 11:15 0.457 verschoben    
9. Mi., 11.01.2017 10:00 - 11:15 0.457      
10. Mi., 18.01.2017 10:00 - 11:15 0.457 Data-Race-Analyse T. Yüksel  
11. Mi., 25.01.2017 10:00 - 11:15 0.457  Pointer-Analyse  N. Geldner  
12. Mi., 01.02.2017 10:00 - 11:15 0.457

Deadlock-Erkennung 

 J. Krawczuk  
13. Mi., 08.02.2017 09:45 - 11:15 0.457