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

Research interests

Compiler Construction

Projects

Former
CRS
Firm
Graph Rewriting
IPD Web Reengineering
MOCKA
Verifix

Involved with Software

GrGen
The Graph Rewrite Tool. GrGen is SPO based, fast and easy to use.
yComp
Visualization system for Program Dependency Graphs in VCG format

Advised thesis subjects

Diploma thesis
(closed)
Design and implementation of a graph viewer for compiler graphs (closed)
Graph Rewriting for LibFirm (closed)
Graph transformation based optimizations in compiler backends (closed)
Instruction selection on SSA-graphs (closed)
Pattern extraction machine-dependent code generation (closed)
 
Studien thesis
Design and Implementation of a SSA-based x86-Backend (closed)
Generating .NET IL Assembler from FIRM (closed)
Negative Application Conditions in GrGen (closed)
Support for negative application conditions for the in-memory backend of GrGen (closed)

Theses worked on

Diploma thesis
OptiCache -- Schleifenübergreifende Cacheoptimierung (closed)
 
Studien thesis
The Sherlock-System (closed)

Publications

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