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