Universität Karlsruhe
Dr.-Ing. Rubino Geiß
Adresse
Email rubino at ipd dot info dot uni-karlsruhe dot de

Arbeitsgebiete

Übersetzerbau

Neuer Arbeitsplatz

LPA GmbH

Ich bin weiterhin dem GrGen Projekt verbunden und stehe gerne als Ansprechpartner zur Verfügung.

Altveranstaltungen

SS 2002: IA-64 Video Codec Assembler Praktikum ;-)

Projekte

Abgeschlossen
CRS
Firm
Graph Rewriting
IPD Web Reengineering
MOCKA
Verifix

Beteiligung an Software

GrGen
Das Graphersetzungs-Werkzeug. GrGen ist SPO basiert, schnell und einfach benutzbar.
yComp
Das Anzeigesystem für Programmgraphen in VCG-Format

Betreute Studien- und Diplomarbeiten

Diplomarbeit
Befehlsauswahl auf SSA-Graphen (abgeschlossen)
Entwicklung eines Anzeigesystems für Programmgraphen (abgeschlossen)
Entwicklung eines Debuggers mit Rückwärtschrittfunktion (abgeschlossen)
Graphersetzung für Optimierungen in der Codeerzeugung (abgeschlossen)
Graphersetzung mit Firm (abgeschlossen)
Graphersetzungsregelgewinnung aus Hochsprachen und deren Anwendung (abgeschlossen)
Mit GrGen.NET zu den Sternen (abgeschlossen)
Mustergewinnung zur maschinenabhängigen Codeoptimierung (abgeschlossen)
 
Studienarbeit
Alternative Suchplangenerierung für den Graphersetzer GrGen (abgeschlossen)
Codeerzeugung aus Firm mit dem lcc-Backend (abgeschlossen)
Entwurf und Design eines XVCG Nachfolgers (abgeschlossen)
Entwurf und Implementierung eines SSA-basierten x86-Backends (abgeschlossen)
Erweiterung von GrGen.NET um DPO-Semantik und ungerichtete Kanten (abgeschlossen)
Generierung von .NET IL Assembler aus Firm (abgeschlossen)
Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus (abgeschlossen)
If-Konversion auf SSA (abgeschlossen)
Implementierung von GrGen in C# (abgeschlossen)
Negative Anwendungsbedingungen für das in-Memory Backend von GrGen (abgeschlossen)
Negative Anwendungsbedingungen in GrGen (abgeschlossen)
Studibot Wissens-GUI (abgeschlossen)
Vorarbeiten für die Erweiterung d. Graphersetzungssystems GrGen um dynamisch zusammengesetzte Muster (abgeschlossen)

Bearbeitete Studien- und Diplomarbeiten

Diplomarbeit
OptiCache -- Schleifenübergreifende Cacheoptimierung (abgeschlossen)
 
Studienarbeit
The Sherlock-System (abgeschlossen)

Veröffentlichungen

2008
Geiß, Graphersetzung mit Anwendungen im Übersetzerbau
Hoffmann, Jakumeit, Geiß, Graph Rewrite Rules with Structural Recursion
Gelhausen, Derre, Geiß, Customizing GrGen.NET for Model Transformation
Geiß, Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools
Geiß, Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Geiß, Kroll, GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
Denninger, Gelhausen, Geiß, Applications and Rewriting of Omnigraphs -- Exemplified in the Domain of MDD
Batz, Kroll, Geiß, A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
Schösser, Geiß, Graph Rewriting for Hardware Dependent Program Optimizations
 
2007
Kroll, Geiß, Developing Graph Transformations with GrGen.NET
Müller, Geiß, Speeding up Graph Transformation through Automatic Concatenation of Rewrite Rules
Geiß, Kroll, On Improvements of the Varro Benchmark for Graph Transformation Tools
Blomer, Geiß, The GrGen.NET User Manual
 
2006
Geiß, Batz, Grund, Hack, Szalkowski, GrGen: A Fast SPO-Based Graph Rewriting Tool
 
2005
Lindenmaier, Beck, Boesler, Geiß, Firm, an Intermediate Language for Compiler Research
 
2003
Geiß, Hack, Übersetzerbau - Ein kleiner Überblick
 
2002
Glesner, Geiß, Boesler, Verified Code Generation for Embedded Systems
 
2001
Lindenmaier, Geiß, Global Configuration of Cache Optimizations
 
2000
Geiß, Thermodynamic Cost of Reliability and Low Temperatures: Tightening Landauer's Principle and the Second Law
Geiß, Schleifenübergreifende Cacheoptimierung
 
1998
Geiß, The Sherlock-System - A Prototype for Many-Sorted Natural Semantics
Login
Links