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