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