Universität Karlsruhe
Abgeschlossene Arbeiten

Diplomarbeit

Analyse von Profilinformation für cachesensitive Befehlsanordnung
Profilinformationen werden beim Befehlsanordnen verwendet, um Ladebefehle mit vielen Fehlzugriffen besondes aggressiv zu platzieren.
Analyse, Modellierung und Transformation von Interaktionen mit COMPASS
Entwicklung von Analysen und Transformationen zur Adaption von Komponenteninteraktionen.
Anforderungsgetriebene Transformation von XML
Wende die funktionale Strategie der faulen Auswertung auf Transformationen von XML-Dokumenten an.
Befehlsauswahl auf expliziten Abhängigkeitsgraphen
Befehlsauswahl auf SSA-Graphen
C-Quellcode-Transformationen unter Berücksichtigung des Präprozessors
Codegenerator für PowerPC
Spezifikation eines PowerPC Codegenerators
Codegenerierung für digitale Signalprozessoren
Erweiterung eines Codegenerators basierend auf Graphersetzungsmethoden
Eine formale Semantik für den Pi-Kalkül
Eine formale Semantik für SSA-Zwischensprachen in Isabelle/HOL
Eine strukturell operationale Semantik für static-single-assignment Sprachen
Entwicklung eines Anzeigesystems für Programmgraphen
Entwicklung eines Debuggers mit Rückwärtschrittfunktion
Entwicklung eines inkrementellen, nebenläufigen Übersetzers für generisches Java
Entwicklung eines Werkzeugs zur generativen Programmierung für Simulink
Entwurf und Implementierung eines Firm-basierten Backends für die synchrone Transfer-Architektur
Entwurf und Realisierung eines komponentenorientierten Systems zur Darstellung von Messwertverläufen
Entwurf und Realisierung eines komponentenbasierten Systems zur Darstellung von Messwertverläufen in einem Prozeßleitsystem
Erweiterung eines Metaprogrammiersystems um einen iterativ aktualisierbaren Zwischensprachaufbau
Metaprogrammiersysteme halten das zu bearbeitende Programm als einen Strukturbaums bereit. Der Aufbau einer echten Zwischenrepräsentation erlaubt effiziente Analysen die die Ausführung von Metaprogrammen unterstützten.
Erweiterung eines statischen Übersetzers zu einem Laufzeitübersetzungssystem
Extraktion von XML aus HTML-Seiten
Viele Webseiten haben Dienstcharakter, so z.B. Wettervorhersagen. Ziel der Arbeit ist die Unterstützung der Migration existierender Seiten zu Webdiensten.
G#: GrGen.NET in C#
Generierung von statischen und dynamischen Analysen zur Erkennung von Entwurfsmustern
Generierung von statischen und dynamischen Analysen zur Erkennung von Entwurfsmustern
Graphersetzung für Optimierungen in der Codeerzeugung
Automatische Erkennung und initiale Transformation von potentiell durch SIMD-Befehlen implementierbaren Codes
Graphersetzung mit Firm
Integration von Graphersetzung in die libFirm
Graphersetzungsregelgewinnung aus Hochsprachen und deren Anwendung
Optimierungen für reichhaltige Befehlssätze (SIMD), wobei mittels imperativer Hochsprachen des Verhalten spezifiziert wird
Heuristisches Auslagern in einem SSA-basierten Registerzuteiler
Identifikation und Modellierung von Komponenten im SawMill-Betriebssystem
Die Arbeit befaßt sich mit dem automatischen Extrahieren von Betriebssystemdiensten und -komponenten aus existierendem monolithischem Linux-Code, um ein aus Modulen und Aspekten konfigurierbares Multisever-Betriebssystem (SawMill-Linux) erzeugen zu können.
Integration eines adaptiven Strategieelementes in die hybride Reglerarchitektur Fynesse
Integration eines adaptiven Strategieelementes in die hybride Reglerarchitektur Fynesse
Kopienminimierung in einem SSA-basierten Registerzuteiler
Maschinensimulation zur kostengesteuerten Codeerzeugung
Generische Maschinensimulation zur optimalen Codeerzeugung
Mit GrGen.NET zu den Sternen
Erweiterung eines Graphersetzungswerkzeuges um durch Paarsterngraphgrammatiken zusammengesetzte Regeln
Mustergewinnung zur maschinenabhängigen Codeoptimierung
Automatische Mustererzeugung durch Transformation ausgehend von Hochsprach-Konstrukten die SIMD-Befehlen entsprechen, sowie deren Anwendung
Object Oriented Concepts in Model Checking Tools
OptiCache -- Schleifenübergreifende Cacheoptimierung
Verschiedene Scheifen bedürfen verschiedener Datenlayouttransformationen. Wie geht man mit den daraus entstehenden Problemen um?
Realisierung und Anbindung eines OBDD an einen Modellprüfer
Registerdruckgewahre Befehlsanordnung
Rematerialisierung mittels ganzzahliger linearer Optimierung in einem SSA-basierten Registerzuteiler
Schemabasierte Optimierung von XSLT
Semantische Analyse für CRecoder
Ergänzung des CRecoder um Namens- und Typanalyse für C.
Spezifikation und Verifikation von standardisierten Transformationen -Fallstudie: Übersetzung von IS
Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der Übersetzung der imperativen Sprache IS
SSA-Generierung aus dem Recoder-AST
Werkzeuggestützte Erkennung von statischen und dynamischen Mustern in objektorientierter Software
XML Graphersetzung
Erweitertes XSLT auf Basis von Graphersetzung

Studienarbeit

Alternative Suchplangenerierung für den Graphersetzer GrGen
Der existierende Ansatz (LGSP-Backend) soll durch dynamische und erweiterte kontextsensitive Planung verbessert werden
Architektur eines konsistenzprüfenden Editors
Aufbau von Firm aus Java[TM] Bytecode
Ausnahmebehandlung in einem optimierenden Javaübersetzer
Diese Arbeit entwirft und implementiert die Darstellung und effeiziente Realisierung von Java-Ausnahmen auf einer modernen Zwischensprache.
Checker für Konstantenpropagierung in Compilern
Konstruktion eines Programm-Resultat-Checkers für Konstantenpropagierung
Codeerzeugung aus Firm mit dem lcc-Backend
Codegenerator für den IA64
Für den IA64 soll ein Codegenerator mit dem Werkzeug CGGG implementiert werden.
Das Konzept der Sicherheit bei adaptiven, unscharfen Reglern
Das Konzept der Sicherheit bei adaptiven, unscharfen Reglern
Effiziente Speicherung und Repräsentation von Konfliktgraphen
Ein Programm-Ergebnis-Prüfer für die syntaktische Analyse des GCC Compilers
ELI Ein Integriertes Werkzeug zur Entwicklung von Übersetzern und Einsatz im Übersetzerbaupraktikum
Entwurf und Design eines XVCG Nachfolgers
Ein Graph Anzeigesystem das besonders für FIRM geignet ist
Entwurf und Implementierung der CORBA Schnittstelle Snow
Entwurf und Implementierung einer Schnittstelle für SSA-Sprachen
Entwurf und Implementierung einer XML-Schnittstelle für SSA-Sprachen in Compilern
Entwurf und Implementierung eines SSA-basierten x86-Backends
Entwurf von Optimierungen von Squeak
Erfassung eines computerinternen Modells von Altprodukten und Ermittlung der wirtsch. Fraktionierung
Erweiterung von GrGen.NET um DPO-Semantik und ungerichtete Kanten
Towards GrGen.NET V2.0
Evaluation und Implementierung des Optimstic Register Coalescing
Evaluierung graphersetzungsbasierter Optimierungen
Evaluierung graphersetzungsbasierter Optimierungen in Compiler-Backends
Explizite Interprozedurale Abhängigkeitsgraphen
Das Konzept der statischen Einmalzuweisung (SSA) und der Graphendarstellung der Zwischensprache Firm wird auf eine interprozedurale Sicht erweitert.
Faule Zerteilung von XML
Zerteiler lesen normalerweise die gesamte Quelle ein. Was wird möglich, wenn die Anwendung dies gar nicht erfordert?
Generierung von .NET IL Assembler aus Firm
Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus
Design und Impelementierung eines effizienten Graphmatches für GRS
Haldenanalyse unter Berücksichtigung von Ausnahmen und Ausnahmebehandlung
If-Konversion auf SSA
Implementierung von GrGen in C#
Implementierung und Erweiterung des Graphersetzers GrGen in C#
Koalgebraische Methoden in der maschinellen Verifikation vonoptimierenden Programmtransformationen
Koalgebraische Methoden in der maschinellen Verifikation von optimierenden Programmtransformationen
Maschinelle Verifikation der Codeerzeugung für VLIW-Prozessoren
Maschinelle Verifikation der Codeerzeugung für VLIW-Prozessoren
Maschinelle Verifikation der Eliminierung toten Codes in SSA-Darstellungen
Negative Anwendungsbedingungen für das in-Memory Backend von GrGen
Die optimierte in-Memory Darstellung des Graphersetzers GrGen soll um fehlende Merkmale erweitert werden
Negative Anwendungsbedingungen in GrGen
Erweiterung von GrGen um negative Kontexte in Graphmustern
Neuentwurf der Debugger-Schnittstelle von VizzEditor
Operator-basierte Programmierung
Operatoren zum Kombinieren von Komponenten und ihre Anforderungen an Reflexions-Schnittstellen
Quell-Quell-Transformationen für XSLT
Viele Optimierungen auf XSLT können als Quell-Quell-Transformationen ausgedrückt werden. Dieses Vorgehen ermöglicht, daß alle existierenden XSLT Prozessoren von neuen Optimierungen profitieren.
Rückführung von Analyseinformationen in ein Quellcode-Transformationssystem
Informationen, die mit der Haldenanalyse in dem Instituts-eigenen Übersetzer gewonnen wurden, werden in das Quellcode-Transformationssystem RECODER transportiert.
RAP - Ein Registerzuteiler für CGGG
Registerallokator für CGGG
Realisierung eines invertierenden C-Präprozessors für COMPOST
Realisierung eines invertierenden C-Zerteilers für COMPOST
Spezifikation und maschinelle Verifikation von Konstantenfaltung in Compiler Backends
Studibot Wissens-GUI
Werkzeug zur Pflege und Erweiterung der Wissensbasis des elektronischen Studienberaters StudiBot
The Sherlock-System
A Prototype for Many-Sorted Natural Semantics
Transformation Java/XML
XML Darstellung von Java Quellcode
Verifikation unimodularer Schleifentransformationen
Vorarbeiten für die Erweiterung d. Graphersetzungssystems GrGen um dynamisch zusammengesetzte Muster
Rekusrive Muster für GrGen.NET
XML-basiertes Transformationswerkzeug
Login
Links