HOME | ENGLISH | IMPRESSUM | KIT

Bachelor- und Masterarbeiten

Am Lehrstuhl für Programmierparadigmen sind die unten aufgeführten Arbeiten bearbeitet worden:

Art Name
Studienarbeit Bitbreitenminimierung per Datenflussanalyse
Studienarbeit Datenflussanalyse: Präziserer Kontrollfluss für Exceptions
Studienarbeit Eine Systematik für lokale Optimierungen
Studienarbeit Entwicklung eines parallelen PBQP-Lösers mit X10
Studienarbeit Entwicklung von Kriterien zur Anwendung von Schleifenoptimierungen im Kontext SSA-basierter Zwischensprachen
Studienarbeit Entwurf und Implementierung eines AMD64 Backend
Studienarbeit Entwurf und Implementierung eines Sparc Backend
Studienarbeit Evaluation verschiedener Profilierungsverfahren zur Just-in-Time-Kompilierung auf eingebetteten Systemen
Studienarbeit Optimierung von Dynamic Dispatch mit Rapid Type Analysis
Studienarbeit SSA-basierte Registerzuteilung mit integrierter Kopienminimierung
Studienarbeit Strukturelle Analyse von Werttypen
Studienarbeit Transformation SSA basierter Zwischensprachen
Studienarbeit Verifikation von Shivers funktionaler CFA-Analyse
Studienarbeit Verifizierte Implementierung von Patricia-Bäumen
Studienarbeit Übersetzer von Java nach Jinja
Bachelorarbeit Simulation von biologischen Signalwegen
Bachelorarbeit Bedingte Anwendung lokaler Optimierungen unter Berücksichtigung gemeinsamer Teilausdrücke
Bachelorarbeit Beschleunigung des X10-Compilers
Bachelorarbeit Besser Benchmarken
Bachelorarbeit FirmSmith: Testgenerierung für Compiler-Optimierungen
Bachelorarbeit Formalisierung von SSA-Form
Bachelorarbeit Funktionales Firm
Bachelorarbeit Implementierung einer verteilten Breitensuche in X10
Bachelorarbeit Inferenz von Gleichungen in funktionalen Programmen
Bachelorarbeit Invasiver SSCA1 Benchmark
Bachelorarbeit Kommunizierende Thread Pools
Bachelorarbeit Link-Time-Optimization mit libFirm
Bachelorarbeit Modellierung unsicherer Daten durch Monaden und Anwendung auf das Sequenzalignment-Problem
Bachelorarbeit Normalisierung Graph-basierter Zwischensprachen
Bachelorarbeit Optimierung von Stencil-Algorithmen für invasive Architekturen
Bachelorarbeit Unterstützung von Exceptions
Bachelorarbeit Verbesserte Implementierung von Interface-Aufrufen
Bachelorarbeit Verbesserung der libFirm Inline-Optimierung
Bachelorarbeit Visualisierung von Lazy Evaluation und Sharing
Bachelor-/Studienarbeit Android Bytecode: Dalvik Frontend für Programmanalyse
Bachelor-/Studienarbeit Eclipse-Plugin: Visualisierung von Threadeigenschaften
Bachelor-/Studienarbeit Funktionale Konstruktion von Kontrollflussgraphen
Bachelor-/Studienarbeit Funktionale Summary-Kanten-Berechnung für PDGs
Bachelor-/Studienarbeit Konvertierung von Systemabhängigkeitsgraphen aus dem kommerziellen Tool CodeSurfer
Bachelor-/Studienarbeit Stack-Allokation mittels Escape-Analyse
Bachelor-/Studienarbeit Verifizierte Berechnung von Datenabhängigkeiten
Bachelor-/Studienarbeit Verifizierte Berechnung von Kontrollabhängigkeiten
Masterarbeit Einfache Verifikation von Rust-Programmen
Masterarbeit Formalisierung von SSA-Form
Masterarbeit Invasives Verteiltes Job Queue Framework
Masterarbeit Jump Threading in LibFirm
Masterarbeit Offene induktive Prädikate
Masterarbeit Synthetisierte Befehlsauswahl
Diplomarbeit Algorithmik- und logikbasierte Points-to Analysen im Vergleich
Diplomarbeit Automatische Modellierung des Lebenszyklus von Android-Anwendungen
Diplomarbeit Eine funktionale, vollständige und referentiell transparente Zwischendarstellung für Übersetzer
Diplomarbeit Generierung lokaler Optimierungen
Diplomarbeit Optimierung einer funktionalen und referentiell transparenten Zwischendarstellung
Diplomarbeit Repräsentation von Alias-Information in der Programmgraphstruktur
Diplomarbeit SSA-basierte Eliminierung partieller Redundanzen
Diplomarbeit Strategien für Datenflussanalysen auf Steuerflussgraphen