Arbeitsgebiete

Meine Forschungsinteressen sind Übersetzer und Programmiersprachen, hauptsächlich

• Registerzuteilung für Programme in SSA-form
• Anwendungen von Graphtransformationsverfahren in einem Übersetzer

Projekte

Abgeschlossen CRS Firm Graph Rewriting

Beteiligung an Software

		GrGen
		Das Graphersetzungs-Werkzeug. GrGen ist SPO basiert, schnell und einfach benutzbar.
		libFirm
		Eine C Implementierung der Zwischensprache Firm.
		yComp
		Das Anzeigesystem für Programmgraphen in VCG-Format

Betreute Studien- und Diplomarbeiten

		Diplomarbeit
		Befehlsauswahl auf SSA-Graphen (abgeschlossen)
		Entwicklung eines Anzeigesystems für Programmgraphen (abgeschlossen)
		Graphersetzung mit Firm (abgeschlossen)
		Heuristisches Auslagern in einem SSA-basierten Registerzuteiler (abgeschlossen)
		Kopienminimierung in einem SSA-basierten Registerzuteiler (abgeschlossen)
		Mustergewinnung zur maschinenabhängigen Codeoptimierung (abgeschlossen)
		Rematerialisierung mittels ganzzahliger linearer Optimierung in einem SSA-basierten Registerzuteiler (abgeschlossen)
		Studienarbeit
		Effiziente Speicherung und Repräsentation von Konfliktgraphen (abgeschlossen)
		Entwurf und Implementierung eines SSA-basierten x86-Backends (abgeschlossen)
		Evaluation und Implementierung des Optimstic Register Coalescing (abgeschlossen)
		If-Konversion auf SSA (abgeschlossen)
		Negative Anwendungsbedingungen für das in-Memory Backend von GrGen (abgeschlossen)
		Negative Anwendungsbedingungen in GrGen (abgeschlossen)

Bearbeitete Studien- und Diplomarbeiten

		Diplomarbeit
		Graphersetzung für Optimierungen in der Codeerzeugung (abgeschlossen)
		Studienarbeit
		RAP - Ein Registerzuteiler für CGGG (abgeschlossen)

Veröffentlichungen

		2007
		Hack, Register Allocation for Programs in SSA Form
		Grund, Hack, A Fast Cutting-Plane Algorithm for Optimal Coalescing
		2006
		Geiß, Batz, Grund, Hack, Szalkowski, GrGen: A Fast SPO-Based Graph Rewriting Tool
		Hack, Goos, Optimal register allocation for SSA-form programs in polynomial time
		Hack, Grund, Goos, Register allocation for programs in SSA-form
		2005
		Hack, Grund, Goos, Towards Register Allocation for Programs in SSA-form
		Hack, Interference Graphs of Programs in SSA-form
		2003
		Hack, RAP - Ein Registerallokator für CGGG
		Hack, Graphersetzung für Optimierungen in der Codeerzeugung
		Geiß, Hack, Übersetzerbau - Ein kleiner Überblick