Universitńt Karlsruhe
├ťbersetzerbau

Beschreibung

├ťbersetzer-Verifikations- und Optimierungstechniken f├╝r industrielle Programmiersprachen f├╝r moderne Architekturen.

Wir forschen an der Verbesserung des Softwareprozesses im ├ťbersetzerbau, sowie an sprachabh├Ąngigen und Zielmaschinen-orientierten Optimierungen. Der Augenmerk liegt dabei auf Optimierungen f├╝r Zeigerstrukturen und f├╝r VLIW und SIMD Architekturen, sowie der generativen Entwicklung von Backends. Wir treiben in zahlreichen Teilprojekten die Entwicklung der daf├╝r n├Âtigen Theorien und Software voran. Dabei achten wir auf realistisch einsetzbare L├Âsungen.

Als Plattform f├╝r diese Forschungen konstruieren wir einen erweiterbaren ├ťbersetzer industrieller Sprachen wie C oder Java f├╝r Architekturen wie IA32, SPARC, ARM oder IA64. Das Integrationsprojekt CRS soll die n├Âtigen Br├╝cken schlagen und die Software publikationsf├Ąhig machen. Kern f├╝r unsere Arbeit ist die SSA-basierte Zwischensprache Firm.

Projekte in diesem Bereich

Abgeschlossen

ACODA
Optimierung dynamischer Datenstrukturen bez├╝glich ihrer Cacheleistung
AJACS
Applying Java to Automotive Control Systems
CGGG
CodeGeneratorGenerator f├╝r Graphen
CRS
Compiler Research System
Elitef├Ârderprogramm f├╝r Postdoktoranden
Postdoc-Programm, gef├Ârdert von der Landesstiftung Baden-W├╝rttemberg
Firm
Graphbasierte SSA Zwischensprache mit expliziten Speicherabh├Ąngigkeiten
Graph Rewriting
Werkzeuge, Anwendungen und Methoden f├╝r die Graphersetzung
Jack
Integration von Jikes und Firm -- Der JAva Compiler Karlsruhe
JOSES
JAVA und CoSy Technologie für Eingebettete Systeme
MOCKA
MOdula-2 Compiler of KArlsruhe
OMI/FAME
Fast Architectural Migration for Embedded systems
OMI/SAFE
Safety for Real-Time Embedded
Sather-K
Sather-K
Verifix
Konstruktion korrekter ├ťbersetzer

Ver├Âffentlichungen im Bereich

2010
Jakumeit, Buchwald, Kroll, GrGen.NET
 
2008
Buchwald, Zwinkau, Befehlsauswahl auf expliziten Abh├Ąngigkeitsgraphen
Jakumeit, Mit GrGen.NET zu den Sternen -- Erweiterung der Regelsprache eines Graphersetzungswerkzeugs um rekursive Regeln mittels Sterngraphgrammatiken und Paargraphgrammatiken
Hoffmann, Jakumeit, Gei├č, Graph Rewrite Rules with Structural Recursion
Buchwald, Erweiterung von GrGen.NET um DPO-Semantik und ungerichtete Kanten
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
Sch├Âsser, Graphersetzungsregelgewinnung aus Hochsprachen und deren Anwendung
Jakumeit, Vorarbeiten f├╝r die Erweiterung des Graphersetzungssystems GrGen um dynamisch zusammengesetzte Muster
Hack, Register Allocation for Programs in SSA Form
M├╝ller, Erweiterung des Graphersetzungswerkzeugs GrGen.NET um dynamische und kontextsensitive Beschleunigungstechniken
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
Kroll, GrGen.NET: Portierung und Erweiterung des Graphersetzungssystems GrGen
Mallon, If-Konversion auf SSA
Blomer, Gei├č, The GrGen.NET User Manual
 
2006
Braun, Heuristisches Auslagern in einem SSA-basierten Registerzuteiler
Liekweg, Compiler-Directed Automatic Memory Management
Gei├č, Batz, Grund, Hack, Szalkowski, GrGen: A Fast SPO-Based Graph Rewriting Tool
Batz, An Optimization Technique for Subgraph Matching Strategies
 
2005
Batz, Graphersetzung f├╝r eine Zwischendarstellung im ├ťbersetzerbau
Szalkowski, Negative Anwendungsbedingungen f├╝r das suchprogrammbasierte Backend von GrGen
Batz, Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus
Lindenmaier, Beck, Boesler, Gei├č, Lindenmaier, Beck, Boesler, Gei├č, Lindenmaier, Beck, Boesler, Gei├č, Firm, an Intermediate Language for Compiler Research
 
2004
Grund, Grund, Negative Anwendungsbedingungen f├╝r den Graphersetzer GrGen
 
2003
Hack, Hack, Graphersetzung f├╝r Optimierungen in der Codeerzeugung
 
2002
Lindenmaier, Lindenmaier, libFIRM -- A Library for Compiler Optimization Research Implementing FIRM
 
2001
Trapp, Optimierung objektorientierter Programme. ├ťbersetzungstechniken, Analysen und Transformationen.
Lindenmaier, Gei├č, Global Configuration of Cache Optimizations
Gaul, Kung, AJACS: Applying Java to Automotive Control Systems
 
2000
Goos, Zimmermann, Verifying Compilers and ASMs
Goos, Zimmermann, ASMs for uniform description of multistep transformations
Gaul, Zimmermann, Goerigk, Practical Construction of Correct Compiler Implementations by Runtime Result Verification
Gaul, Kung, AJACS: Applying Java to Automotive Control Systems
 
1999
Gaul, Heberle, Zimmermann, Goerigk, Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends
Goos, Zimmermann, Verification of Compilers
Gaul, Schumacher, Advanced Generator Techniques for Embedded Compilers
Heberle, Gaul, Zimmermann, Construction of Verified Compiler Front-Ends with Program-Checking
Genius, Assmann, Java and CoSy Technology for Embedded Systems: the JOSES Project
Trapp, Lindenmaier, Boesler, Documentation of the Intermediate Representation FIRM
 
1998
Dold, Gaul, Vialard, Zimmermann, ASM-Based Mechanized Verification of Compiler Backends
Gaul, Schumacher, Compiler Techniques for Fast Migration of Embedded Applications
Heberle, L├Âwe, Trapp, Safe Reuse of Source to Intermediate Language Compilations
Gaul, Goerigk, Zimmermann, Correct Programs without Proof? On Checker-Based Program Verification
Dold, Gaul, Zimmermann, Mechanized Verification of Compiler Back-Ends
Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Praktikable Konstruktion korrekter ├ťbersetzer
Boesler, Boesler, Codeerzeugung aus Abh├Ąngigkeitsgraphen
Heuzeroth, Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der imperativen Sprache IS
 
1997
Gaul, Goos, Heberle, Zimmermann, Zur Konstruktion verifizierter ├ťbersetzer
Goos, Goos, Sather-K - The Language
Gaul, Zimmermann, On the Construction of Correct Compiler Back-Ends: An ASM Approach
Login
Links