Dipl.-Inform. Michael Beck
»
Home
»
Mitarbeiter
»
Kerngebiete
»
Projekte
»
Abgeschlossen
»
Veröffentlichungen
»
Details
»
Software
»
Lehre
»
Student. Arbeiten
»
Impressum
»
Lageplan
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
»
Fakultät
»
FZI PROST
»
Prof. Assmann
»
Prof. Glesner
»
Prof. Hack
»
Prof. Löwe
»
Prof. Snelting
»
Prof. Zimmermann
»
Universität