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