Research interests

My research interests are compilers and programming languages, especially:

• Register allocation, mostly for programs in SSA-form
• Applying graph transformation to compiler optimizations

Projects

Former CRS Firm Graph Rewriting

Involved with Software

		GrGen
		The Graph Rewrite Tool. GrGen is SPO based, fast and easy to use.
		libFirm
		A C implementation of the intermediate representation Firm.
		yComp
		Visualization system for Program Dependency Graphs in VCG format

Advised thesis subjects

		Diploma thesis
		Copy elimination in a SSA-based register allocator (closed)
		Design and implementation of a graph viewer for compiler graphs (closed)
		Graph Rewriting for LibFirm (closed)
		Instruction selection on SSA-graphs (closed)
		Pattern extraction machine-dependent code generation (closed)
		Rematerialization by ILP in an SSA based Register Allocator (closed)
		Spilling Heuristics in an SSA-based Register Allocator (closed)
		Studien thesis
		Design and Implementation of a SSA-based x86-Backend (closed)
		Efficient Storage and Representation of Interference Graphs (closed)
		Evaluation of Optimistic Register Coalescing (closed)
		Negative Application Conditions in GrGen (closed)
		Support for negative application conditions for the in-memory backend of GrGen (closed)

Theses worked on

		Diploma thesis
		Graph transformation based optimizations in compiler backends (closed)
		Studien thesis
		RAP - A Register Allocator for CGGG (closed)

Publications

		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