HOME | ENGLISH | IMPRESSUM | KIT

Bachelor- und Masterarbeiten

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

2023
Masterarbeit Statische Einzigartigkeitsanalyse für Lean
2022
Bachelorarbeit Beweisvisualisierung für den Theorembeweiser Lean 4
Bachelorarbeit Lokalisierung & Darstellung von lexikalischen Referenzen in einem Theorembeweiser
Masterarbeit Eine Schnittstelle für Separation-Logic-Beweise in Lean
Masterarbeit Escape Analyse für den Glasgow Haskell Compiler
Masterarbeit LiquidRust: Refinement Types für Rust
Masterarbeit Transiente Datenstrukturen für Haskell
2021
Bachelorarbeit Exhaustiveness Überprüfung für Structural Pattern Matching in Python 3.10
Bachelorarbeit Quantitative Informationsflusskontrolle für Java auf Basis von Bounded Model Checking
Masterarbeit Formale Verifikation von Lower Your Guards
Masterarbeit Informationsfluss beschränkender Interpreter
Masterarbeit Registerallokation für komprimierten Maschinencode
2020
Bachelorarbeit Autotuning für Benchmarks
Bachelorarbeit Befehlsanordnung für den LEON3-Prozessor in libFirm
Bachelorarbeit Compilerunterstützte automatisierte Seitenmigration auf MPSoCs
Bachelorarbeit corediff: Diff-Tool für GHC Core Programme
Bachelorarbeit Diagrammjagd in einem interaktiven Theorembeweiser
Bachelorarbeit Ein Adress-Sanitizer für libfirm
Bachelorarbeit Ein Recursive Ascent-Descent Backend für happy
Masterarbeit hsreduce: Minimieren von Haskell-Programmen
2019
Bachelorarbeit Elm-Reduce: Delta Debugging von Funktionalen Programmen
Bachelorarbeit Entwicklung einer Bibliothek zum Lösen und Analysieren von PBQP-Instanzen
Bachelorarbeit Formal verifiziertes Einfügen von Referenzzählungsinstruktionen
Bachelorarbeit Frühzeitige Ausführung von parallelize-mem
Bachelorarbeit Optimierung der Grundblockanordnung
Bachelorarbeit Schleifenausrollen mit nicht konstanten Grenzen in FIRM
Masterarbeit Befehlsanordnung auf expliziten Abhängigkeitsgraphen
Masterarbeit Komprimierung von Typ-Informationen in modernen C++-Programmen mittels Type Isolation
2018
Bachelorarbeit Devirtualisierung in libFirm
Bachelorarbeit Eine Sprache zur Spezifikation von Lebenszyklen von Framework-basierten Anwendungen
Bachelorarbeit FirmReduce: Minimieren von Testfall-Programmgraphen
Bachelorarbeit Identifikation wiederkehrender Programmstrukturen
Bachelorarbeit Registerallokation mit Doppelregistern
Bachelorarbeit Verbesserte Optimierung von Integer-Konvertierungen und VHDL-Codeerzeugung mittels Bitbreitenanalyse
Bachelorarbeit Verbessertes Loop-Unrolling für FIRM
Masterarbeit Datenflussbasierte Typinferenz für JavaScript
Masterarbeit Effiziente Befehlsauswahl mit vielen Mustern
Masterarbeit Leichgewichtiges, austauschbares und selektives Taint-Tracking für Java
Masterarbeit Quantitative Informationsflusskontrolle auf Programmabhängigkeitsgraphen
2017
Bachelorarbeit FirmSmith: Testgenerierung für Compiler-Optimierungen
Bachelorarbeit Funktionales Firm
Bachelorarbeit Invasives Rust
Masterarbeit Call Arity vs. Demand Analysis
Masterarbeit Jump Threading in LibFirm
2016
Bachelorarbeit Besser Benchmarken
Bachelorarbeit Intentanalyse von Android-Applikationen
Bachelorarbeit Link-Time-Optimization mit libFirm
Bachelorarbeit Spezialisierung von Funktionen
Bachelorarbeit Unterstützung von Exceptions
Masterarbeit Einfache Verifikation von Rust-Programmen
Masterarbeit Formalisierung von SSA-Form
Masterarbeit Synthetisierte Befehlsauswahl
Diplomarbeit Strategien für Datenflussanalysen auf Steuerflussgraphen
2015
Studienarbeit Optimierung von Dynamic Dispatch mit Rapid Type Analysis
Bachelorarbeit Beschleunigung des X10-Compilers
Bachelorarbeit Normalisierung Graph-basierter Zwischensprachen
Bachelorarbeit Verbesserte Implementierung von Interface-Aufrufen
Masterarbeit Invasives Verteiltes Job Queue Framework
Masterarbeit Offene induktive Prädikate
2014
Bachelorarbeit Bedingte Anwendung lokaler Optimierungen unter Berücksichtigung gemeinsamer Teilausdrücke
Bachelorarbeit Inferenz von Gleichungen in funktionalen Programmen
Bachelorarbeit Kommunizierende Thread Pools
Bachelor-/Studienarbeit Stack-Allokation mittels Escape-Analyse
Diplomarbeit Automatische Modellierung des Lebenszyklus von Android-Anwendungen
2013
Studienarbeit Bitbreitenminimierung per Datenflussanalyse
Studienarbeit Verifizierte Implementierung von Patricia-Bäumen
Bachelorarbeit Simulation von biologischen Signalwegen
Bachelorarbeit Formalisierung von SSA-Form
Bachelorarbeit Modellierung unsicherer Daten durch Monaden und Anwendung auf das Sequenzalignment-Problem
Bachelorarbeit Verbesserung der libFirm Inline-Optimierung
Bachelor-/Studienarbeit Verifizierte Berechnung von Datenabhängigkeiten
Bachelor-/Studienarbeit Verifizierte Berechnung von Kontrollabhängigkeiten
2012
Studienarbeit Datenflussanalyse: Präziserer Kontrollfluss für Exceptions
Studienarbeit Entwicklung eines parallelen PBQP-Lösers mit X10
Studienarbeit Entwurf und Implementierung eines AMD64 Backend
Bachelorarbeit Implementierung einer verteilten Breitensuche in X10
Bachelorarbeit Optimierung von Stencil-Algorithmen für invasive Architekturen
Bachelorarbeit Visualisierung von Lazy Evaluation und Sharing
Bachelor-/Studienarbeit Android Bytecode: Dalvik Frontend für Programmanalyse
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
Diplomarbeit Algorithmik- und logikbasierte Points-to Analysen im Vergleich
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
2011
Bachelor-/Studienarbeit Eclipse-Plugin: Visualisierung von Threadeigenschaften
Diplomarbeit Eine funktionale, vollständige und referentiell transparente Zwischendarstellung für Übersetzer
2010
Studienarbeit Entwicklung von Kriterien zur Anwendung von Schleifenoptimierungen im Kontext SSA-basierter Zwischensprachen
Studienarbeit Entwurf und Implementierung eines Sparc Backend
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 Übersetzer von Java nach Jinja
2009
Studienarbeit Eine Systematik für lokale Optimierungen
Studienarbeit Evaluation verschiedener Profilierungsverfahren zur Just-in-Time-Kompilierung auf eingebetteten Systemen
Bachelorarbeit Besserer Umgang mit Callee-Saved-Registern im libFirm Backend
Bachelorarbeit Invasiver SSCA1 Benchmark
Bachelorarbeit Java zu Solidity
Bachelor-/Masterarbeit Interaktives Term-Rewriting für Lean 4
Masterarbeit Compiler-Unterstützung für Scratchpad-Speicher
Masterarbeit Verbesserte Kopienminimierung in SSA-basierter Registerallokation
Praxis der Forschung Hammer für Lean 4 unter Benutzung von SMT-Solvern für HOL