Universitšt Karlsruhe
Dipl.-Inform. Michael Beck
Adresse
IPD Goos
Adenauerring 20a
AVG 50.41 Raum 024
76128 Karlsruhe
Deutschland
Tel. +49 721 608-7400
Email beck at ipd dot info dot uni-karlsruhe dot de

Sprechzeiten: nach Vereinbarung

Arbeitsgebiete

Compilerbau
Codegenerierung

Projekte

Abgeschlossen
CRS
Firm

Beteiligung an Software

Jack -- Java Compiler Karlsruhe
Ein √úbersetzer, basierend auf Firm, der Java in Bin√§rcode √ľbersetzt.
libFirm
Eine C Implementierung der Zwischensprache Firm.
yComp
Das Anzeigesystem f√ľr Programmgraphen in VCG-Format

Betreute Studien- und Diplomarbeiten

Diplomarbeit
Befehlsauswahl auf expliziten Abhängigkeitsgraphen (abgeschlossen)
Entwicklung eines Werkzeugs zur generativen Programmierung f√ľr Simulink (abgeschlossen)
Entwurf und Implementierung eines Firm-basierten Backends f√ľr die synchrone Transfer-Architektur (abgeschlossen)
G#: GrGen.NET in C# (abgeschlossen)
Registerdruckgewahre Befehlsanordnung (abgeschlossen)
 
Studienarbeit
Codeerzeugung aus Firm mit dem lcc-Backend (abgeschlossen)
Entwurf und Implementierung eines SSA-basierten x86-Backends (abgeschlossen)
Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus (abgeschlossen)
If-Konversion auf SSA (abgeschlossen)

Veröffentlichungen

2005
Lindenmaier, Beck, Boesler, Geiß, Firm, an Intermediate Language for Compiler Research
 
2001
Beck, Linux-Kernelprogrammierung
Login
Links