SDQ-Institutsseminar

Das Institutsseminar des Instituts für Programmstrukturen und Datenorganisation (IPD) ist eine ständige Lehrveranstaltung, die den Zweck hat, über aktuelle Forschungsarbeiten am Institut zu informieren. Insbesondere soll Studierenden am Institut die Gelegenheit gegeben werden, über ihre Bachelor- und Masterarbeiten vor einem größeren Auditorium zu berichten. Schwerpunkte liegen dabei auf der Problemstellung, den Lösungsansätzen und den erzielten Ergebnissen. Das Seminar steht aber allen Studierenden und Mitarbeiter/-innen des KIT sowie sonstigen Interessierten offen.

Ort	Gebäude 50.34, Seminarraum 348
Zeit	jeweils freitags, 11:30–13:00 Uhr

Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten:

• Diplomarbeit/Masterarbeit: 30 Minuten Redezeit + 15 Minuten Diskussion
• Studienarbeit/Bachelorarbeit: 20 Minuten Redezeit + 10 Minuten Diskussion
• Proposal: 12 Minuten Redezeit + 8 Minuten Diskussion

Weitere Informationen: https://sdqweb.ipd.kit.edu/wiki/Institutsseminar. Bei Fragen und Anmerkungen können Sie eine E-Mail an das Institutsseminar-Team schreiben.

Nächste Vorträge

Freitag, 12. Dezember 2025, 11:30 Uhr

iCal (Download)
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}

Dead Code Analysis: Combination of static analysis with runtime monitoring

Vortragende(r)	Steffen Steudle
Vortragstyp	Masterarbeit
Betreuer(in)	Manar Mazkatli
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Dead, unused or unreachable code degrades source code maintainability and comprehensibility. Dead code analyses aim to identify such code, allowing developers to safely remove it. However, due to dynamic language features, purely static analyses often produce false positives. This master's thesis presents a hybrid approach to reduce these false positives. We first analyze the code statically to identify potential dead code. Based on these static results, we then instrument the code to collect runtime information about which parts are actually used during execution. This combination of static analysis with dynamic validation allows us to filter out false positives, providing developers with more accurate and reliable results for improving code health.

Vortrag bearbeiten

Tackling Orphaned Commits in Architectural Design Decision Recovery - The Addar Platform

Vortragende(r)	Eric Wehner
Vortragstyp	Bachelorarbeit
Betreuer(in)	Tobias Hey
Vortragssprache	Englisch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Vortrag bearbeiten

Vitruv OCL Current State of the Art

Vortragende(r)	Max Oesterle
Vortragstyp	Vortrag
Betreuer(in)	Arne Lange
Vortragssprache	Englisch
Vortragsmodus	in Präsenz
Kurzfassung	Im Kontext von modellbasierter Softwareentwicklung stellt die Konsistenzerhaltung zwischen verschiedenen Metamodellen eine zentrale Herausforderung dar. VitruviusOCL erweitert die Object Constraint Language (OCL) um Mechanismen zur deklarativen Spezifikation von Consistency Relations in einer VSUM (Virtual Single Underlying Model).

Vortrag bearbeiten