Neuigkeiten

Seit März 2008 bin ich Juniorprofessor an der Universität des Saarlandes.

Forschungsinteressen

Meine Forschungsinteressen liegen im Übersetzerbau. Hierbei beschäftige ich mich hauptsächlich mit:

		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

		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)

		Diplomarbeit
		Graphersetzung für Optimierungen in der Codeerzeugung (abgeschlossen)


		Studienarbeit
		RAP - Ein Registerzuteiler für CGGG (abgeschlossen)

		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

Links