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 Invasives Rust
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 Call Arity vs. Demand Analysis
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