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